summaryrefslogtreecommitdiff
path: root/next-lib/src/slavic/DiffSlavic.gf
diff options
context:
space:
mode:
Diffstat (limited to 'next-lib/src/slavic/DiffSlavic.gf')
-rw-r--r--next-lib/src/slavic/DiffSlavic.gf5
1 files changed, 0 insertions, 5 deletions
diff --git a/next-lib/src/slavic/DiffSlavic.gf b/next-lib/src/slavic/DiffSlavic.gf
deleted file mode 100644
index 77728ad1b..000000000
--- a/next-lib/src/slavic/DiffSlavic.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-interface DiffSlavic = open Prelude in {
-
- param NForm ;
-
-} \ No newline at end of file