next-lib renamed to lib, lib to old-lib

1 files changed, 0 insertions, 13 deletions

diff --git a/next-lib/src/french/ResFre.gf b/next-lib/src/french/ResFre.gf
deleted file mode 100644
index 3641d1da7..000000000
--- a/next-lib/src/french/ResFre.gf
+++ /dev/null
@@ -1,13 +0,0 @@
---1 French auxiliary operations.
---
----- This module contains operations that are needed to make the
----- resource syntax work. To define everything that is needed to
----- implement $Test$, it moreover contains regular lexical
----- patterns needed for $Lex$.
---
-
-instance ResFre of ResRomance = DiffFre ** open CommonRomance, Prelude in {
-
-flags optimize=noexpand ;
-
-} ;