Skip to content

Add profile for development builds

Emmanuele Bassi requested to merge ebassi/devel-profile into master

During the GNOME development cycle we want to visually distinguish the development builds of Devhelp from the stable, system one. Additionally, we want to be able to run the two builds at the same time.

Merge request reports