diff options
| author | Emilio Jesus Gallego Arias | 2016-11-16 11:17:39 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2016-11-16 11:17:39 +0100 |
| commit | 1053c873bdaedf37c1fd35be4e7021bfc806c23d (patch) | |
| tree | a44ba5953df5acc17b710e20426db115521de111 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 3a51aa7265f35dd3cbf3f7bff858d663e4406146 (diff) | |
[doc] Mention XML protocol on changes.
It may be worth it, also added a note about file reorganization.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions