diff options
| author | Javier Jardón <jjardon@gnome.org> | 2014-09-09 15:05:07 +0000 |
|---|---|---|
| committer | James Thomas <james.thomas@codethink.co.uk> | 2014-10-10 14:18:09 -0500 |
| commit | 2f2e8876276bff83e538040c751178aab9c8aef1 (patch) | |
| tree | 037e4d5b55421df17fa839ed2404bb77848304cb /strata/gnome/gnome-shell.morph | |
| parent | d17b22e3f3b3e43ff4555234d856f1c8498e397e (diff) | |
| download | definitions-2f2e8876276bff83e538040c751178aab9c8aef1.tar.gz | |
Add GNOME stratum
Diffstat (limited to 'strata/gnome/gnome-shell.morph')
| -rw-r--r-- | strata/gnome/gnome-shell.morph | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/strata/gnome/gnome-shell.morph b/strata/gnome/gnome-shell.morph new file mode 100644 index 00000000..1e8143d4 --- /dev/null +++ b/strata/gnome/gnome-shell.morph @@ -0,0 +1,5 @@ +name: gnome-shell +kind: chunk +build-system: autotools +configure-commands: +- ./autogen.sh --prefix="$PREFIX" --disable-man |