Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/ofborg
base: d7633725b834
Choose a base ref
...
head repository: NixOS/ofborg
compare: a4a30446ae55
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Jul 24, 2020

  1. config.public.json: Rename the GNOME label 

    GNOME might switch to different versioning scheme soon so gnome3 might not make sense.
    @jtojnar
    jtojnar committed Jul 24, 2020
    Copy the full SHA
    2303536 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #526 from jtojnar/patch-1 

    config.public.json: Rename the GNOME label
    @cole-h
    cole-h committed Jul 24, 2020
    Copy the full SHA
    a4a3044 View commit details
    Browse the repository at this point in the history