patch applied (c2hs): Rename terminal ' extension' to ' __extension__'
15 Apr
2007
15 Apr
'07
6:34 p.m.
Sun Apr 15 03:14:27 PDT 2007 Duncan Coutts <duncan.coutts@worc.ox.ac.uk> * Rename terminal 'extension' to '__extension__' That's what's it's really called anyway. M ./c2hs/c/CParser.y -8 +8
7041
Age (days ago)
7041
Last active (days ago)
0 comments
1 participants
participants (1)
-
Duncan Coutts