finnish peacekeeping

This commit is contained in:
aarne committed 2006-04-20 21:04:04 +00:00
1 parent fe6cf5f366
commit 5eebe8d41e
5 files changed
+53

No files matched your search

@@ -0,0 +1,5 @@
--# -path=.:present:prelude
concrete PeaceSyntax_Fin of PeaceSyntax = PeaceCat_Fin ** PeaceSyntaxI with
(Lang = LangFin) ;