tools.git
5 years agoadd bigtouch (for creating maaany files)
Jann Horn [Sun, 9 Feb 2014 21:24:43 +0000 (22:24 +0100)]
add bigtouch (for creating maaany files)

5 years agoadd fastrecat
Jann Horn [Sun, 24 Nov 2013 03:01:13 +0000 (04:01 +0100)]
add fastrecat

5 years agoadd freq_measure
Jann Horn [Sun, 24 Nov 2013 02:25:55 +0000 (03:25 +0100)]
add freq_measure

5 years agoput the files in a real repo
Jann Horn [Sun, 24 Nov 2013 02:01:00 +0000 (03:01 +0100)]
put the files in a real repo