tree 03ea96d60eff09f4a7c407bafb44314c6ad55aaf
parent e364570ba7e3e5d5007cfe1c8e28ffb6afbd2c4e
author Nils Diewald <nils@diewald-online.de> 1415402823 +0000
committer Nils Diewald <nils@diewald-online.de> 1415402823 +0000

Fixed tiny bug with underspecified tokens