diff options
| author | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-12-08 23:45:17 +0100 |
|---|---|---|
| committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2010-12-09 16:45:16 +0100 |
| commit | 268df70567264ae5a3e15c22ebe0c6a847ee9998 (patch) | |
| tree | b516fc9fc936fe0efa0e9b13d05ece78fd563375 /Bin/kranc | |
| parent | 5bdd5ad6f48700cba0e6463a7cd24900beec219e (diff) | |
Add thorn-branch command for maintaining generated code branches in version control systems
Diffstat (limited to 'Bin/kranc')
0 files changed, 0 insertions, 0 deletions