Adding file for namedplaces extension

2015-10-26 16:01:49 +01:00
parent 7eb57495ec
commit 585cee81d2
7 changed files with 649 additions and 0 deletions
@@ -0,0 +1,3 @@
+results/
+regression.diffs
+regression.out