From 47d682035a3ab16c1d3d5cae2f771bca05a5d67f Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 5 Oct 2005 19:02:19 +0000 Subject: [PATCH] grep etc --- resource/english/LangEng.gf | 2 ++ 1 file changed, 2 insertions(+) diff --git a/resource/english/LangEng.gf b/resource/english/LangEng.gf index 5c12ef028..9fcb86d92 100644 --- a/resource/english/LangEng.gf +++ b/resource/english/LangEng.gf @@ -1,5 +1,7 @@ --# -path=.:../abstract:../../prelude +-- # -path=.:resource/english:resource/abstract:prelude + concrete LangEng of Lang = RulesEng, ClauseEng,