HgO ad324c63c3 rename project		2022-06-13 20:55:01 +02:00
..
lint.sh	rename project	2022-06-13 20:55:01 +02:00
rename_project.sh	Tolerate BSD sed and don't try to sed inside the .pyc files (#25)	2021-02-26 17:48:24 +00:00