diff options
Diffstat (limited to 'examples/godis-tram/Tram/Lines.gf')
| -rw-r--r-- | examples/godis-tram/Tram/Lines.gf | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/examples/godis-tram/Tram/Lines.gf b/examples/godis-tram/Tram/Lines.gf deleted file mode 100644 index a0d0a6fdc..000000000 --- a/examples/godis-tram/Tram/Lines.gf +++ /dev/null @@ -1,22 +0,0 @@ -abstract Lines = { -cat Line; -fun -Tram1 : Line ; -Tram2 : Line ; -Tram3 : Line ; -Tram4 : Line ; -Tram5 : Line ; -Tram6 : Line ; -Tram7 : Line ; -Tram8 : Line ; -Tram9 : Line ; - -Bus34 : Line ; -Bus40 : Line ; -Bus51 : Line ; -Bus60 : Line ; -Bus62 : Line ; - -Alvsnabben : Line ; - -}
\ No newline at end of file |
