merge

2018-11-11 10:29:52 -05:00
parent e486d941ed
commit a0b53ee391
43 changed files with 832 additions and 280 deletions
--- a/dat/.gitattributes
+++ b/dat/.gitattributes
@@ -4,3 +4,5 @@
 data.base NHSUBST
 symbols NHSUBST
 tribute NHSUBST
+* NH_filestag=(file%s_for_all_versions)
+..files NH_filegenprog