diff options
| author | Enrico Tassi | 2014-11-03 18:36:10 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-11-03 18:36:16 +0100 |
| commit | c3b35b153f5f0023934e8d09007a68fd4a2a6b55 (patch) | |
| tree | ec0248109be75287dc764dfce787531b36525b80 /lib/xml_parser.ml | |
| parent | c4f270f573360e39bd91e3ffff8d37775b2871d7 (diff) | |
STM: code refactoring
This is mainly shuffling code around and removing internal
refs that are not needed anymore.
Diffstat (limited to 'lib/xml_parser.ml')
0 files changed, 0 insertions, 0 deletions