doc/SYMBOLS: Actually check this in, so we can see how it changes.
[sod] / src / .gitignore
2013-07-24 Mark WoodingMore WIP.