descriptionUnnamed repository; edit this file to name it for gitweb.
last changeMon, 15 Oct 2012 09:27:03 +0000 (12:27 +0300)
shortlog
2012-10-15 Daniel LevinFix to call Process.kill() without arguments master
2012-10-15 Daniel LevinRemove launching tool via exec()
2012-10-15 Daniel LevinFix zmq socket closing
2012-10-14 Daniel LevinFirst implementation of difftoold
2012-10-14 Daniel LevinInitial commit
heads
3 years ago master