From f55f5f06c5ed653d9e998f7e2b1c17ec1a357389 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 1 Jul 2005 19:56:41 +0000 Subject: [PATCH] oops --- resource/finnish/ResourceFin.gf | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 resource/finnish/ResourceFin.gf diff --git a/resource/finnish/ResourceFin.gf b/resource/finnish/ResourceFin.gf new file mode 100644 index 000000000..ced23d83d --- /dev/null +++ b/resource/finnish/ResourceFin.gf @@ -0,0 +1,3 @@ +--# -path=.:../abstract:../../prelude + +concrete ResourceFin of Resource = RulesFin, ClauseFin, StructuralFin ** {} ;