]> git.tuebingen.mpg.de Git - paraslash.git/history - scripts/demo-script
Rename random_dbtool.c to random_selector.c
[paraslash.git] / scripts / demo-script
2006-03-09 AndreMerge branch 'no_colon_separators'
2006-03-09 AndreConvert demo-script to the new syntax without colons.
2006-02-20 Andreinitial git commit