Merge dev into pre-proto

2025-02-25 18:55:39 -06:00 · 2017-06-14 23:25:55 +02:00
parent bca96d31ad 81d44ca69b
commit 1911092cb7
46 changed files with 1123 additions and 306 deletions
--- a/doc/identify-missing-copyright.txt
+++ b/doc/identify-missing-copyright.txt
@@ -0,0 +1,5 @@
+This regexp will identify all files not starting with the character '/'
+Useful to detect files with missing copyright header
+
+^(?!/).*$
+