diff options
Diffstat (limited to 'old-lib/resource/spanish/CompatibilitySpa.gf')
| -rw-r--r-- | old-lib/resource/spanish/CompatibilitySpa.gf | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/old-lib/resource/spanish/CompatibilitySpa.gf b/old-lib/resource/spanish/CompatibilitySpa.gf deleted file mode 100644 index b8af3136b..000000000 --- a/old-lib/resource/spanish/CompatibilitySpa.gf +++ /dev/null @@ -1,11 +0,0 @@ ---# -path=.:../romance:../abstract:../common - -concrete CompatibilitySpa of Compatibility = CatSpa ** open Prelude, CommonRomance in { - --- from Noun 19/4/2008 - -lin - NumInt n = {s = \\_ => n.s ; isNum = True ; n = Pl} ; - OrdInt n = {s = \\_ => n.s ++ "."} ; --- - -} |