minions

Auteur	SHA1	Message	Date
Alois Mahdal	e629c0115d	Update e-mail address	il y a 7 ans
Alois Mahdal	5fd60d83e6	Do not use filename extensions in bin/ They are unnecessary, distracting and cause ugliness on command line.	il y a 11 ans
Alois Mahdal	c095c4c1bc	Reformatted to fit 80 chars	il y a 11 ans
Aldo	bf26a46891	maintenance: Whitespace errors	il y a 12 ans
Alois Mahdal	22ec17ada7	Fixed mode to executable.	il y a 12 ans
Alois Mahdal	6253709357	Adding small utility script to measure how long 1s takes.	il y a 12 ans