]> mj.ucw.cz Git - bex.git/commitdiff
projects / bex.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c53c197 34b93c7)
Merge branch 'master' of ssh://git.ucw.cz/home/mj/GIT/bex
authorMartin Mares <mares@kam.mff.cuni.cz>
Sat, 14 Apr 2012 13:46:48 +0000 (15:46 +0200)
committerroot <root@kam.mff.cuni.cz>
Sat, 14 Apr 2012 13:46:48 +0000 (15:46 +0200)

Trivial merge
The Batch EXecutor