tree 23310bf22e1fe22b9d9a5cc5ff324c8e3de90b82
parent a4242bcd09b81e298d2089a284242679d0789e16
author Till Westmann <till@westmann.org> 1368083184 -0700
committer Till Westmann <till@westmann.org> 1368551690 -0700

change return type of Identifier() from Identifier to String
replace (nearly) all occurences of <IDENTIFIER> with Identifier()