projects / drlaunch / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Added logging capability if /tmp/drlaunch.log is present.
[drlaunch] / mkdist
2010-06-24 Stefanos HarhalakisAdded version to config.py blob | commitdiff
Unnamed repository; edit this file to name it for gitweb.