projects / drlaunch / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Change the max grid size before changing the size (fixes bug #12292). Don't rotate...
[drlaunch] / mkdist
2010-06-24 Stefanos HarhalakisAdded version to config.py blob | commitdiff
Unnamed repository; edit this file to name it for gitweb.