diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-11-27 17:33:56 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2013-11-27 17:33:56 +0100 |
commit | 03f268c1c4a872ec37a0995174c305c172339f53 (patch) | |
tree | 6c9ef974f70af89cbf12869a992c4c7227d88252 /toplevel/ide_slave.ml | |
parent | d5451ad4fc55c38ea0a7a1687dfc80c2bb0f9d13 (diff) |
New option --help-XML-protocol to document the XML procol used by -ideslave
Serialize.ml spits out its own documentation. Not everything is
statically checked, so it risks to get outdated. Ideas on how
to statically/dynamically check that the doc is in sync are welcome.
Diffstat (limited to 'toplevel/ide_slave.ml')
0 files changed, 0 insertions, 0 deletions