| commit | 0ee7a46f7c979f5080ae311358f28d2331d88ddc | |
| author | Kasper Peeters <kasper.peeters@aei.mpg.de> | |
| Mon, 3 Jan 2011 00:29:26 +0000 (3 00:29 +0000) | ||
| committer | Kasper Peeters <kasper.peeters@aei.mpg.de> | |
| Mon, 3 Jan 2011 00:29:26 +0000 (3 00:29 +0000) | ||
| tree | 952de06a124f7140b2bc6f4dad065b58bd31edb3 | treesnapshot (tar.gz zip) |
| parent | 664ee0fe38bbec96773474da7603c9f0d77bafd8 | commitdiff |
Fixed handling of Symbols in substitute.