This website requires JavaScript.
Explore
Help
Register
Sign In
brl
/
gnome-shell
Watch
1
Star
0
Fork
0
You've already forked gnome-shell
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
09e6bb5d56
gnome-shell
/
tools
History
Florian Müllner
1c0e0191e0
build: Fix check-for-missing for srcdir != builddir
2016-06-21 21:55:26 +02:00
..
build
tools/build: Update to 3.14
2014-05-25 23:22:18 +02:00
check-for-missing.py
build: Fix check-for-missing for srcdir != builddir
2016-06-21 21:55:26 +02:00