NunoSempere 04070a934e give more expressive names to main functions ... This bash function was helpful: function replace(){ grep "$1" -rl . grep "$1" -rl . | xargs sed -i "s/$1/$2/g"; }		2023-07-22 19:21:20 +02:00
..
example	give more expressive names to main functions	2023-07-22 19:21:20 +02:00
example.c	give more expressive names to main functions	2023-07-22 19:21:20 +02:00
makefile	rename sampler functions, elaborate on README, etc.	2023-07-16 22:32:03 +02:00