4 commits

Author	SHA1	Message	Date
B. Petersen	678385a887	move scripts to new scripts folder	2020-10-21 13:19:21 +02:00
Alexander Krotov	cd48e56af4	Add EditorConfig ... It documents indentation style for source files. See https://editorconfig.org/ for more.	2020-09-15 22:23:44 +03:00
B. Petersen	a51e0acbb9	tweak global-grep tool	2020-04-16 22:49:01 +02:00
B. Petersen	d3e9068708	add a script to check if strings are still in use	2020-01-17 15:11:25 +01:00