demo/digraph.lgf
author |
Balazs Dezso <deba@inf.elte.hu> |
|
Wed, 02 Jul 2008 10:37:14 +0200 |
changeset 186 |
9159de5e9657 |
permissions |
-rw-r--r-- |
Improvments in map name handling
- The label map is not necessary
- If the item set is empty and no map is read, then the map name line can
be ommited