diff options
| author | Théo Zimmermann | 2017-07-11 17:52:22 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-07-11 17:52:22 +0200 |
| commit | fe56933b466a3d833d161828a34aab7a6b621b00 (patch) | |
| tree | 73b59ae937081f2f9f076dd2d6f91d5c2be730c1 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 2b4616438cc2a41e2c381ad47819d13addbd773c (diff) | |
Sync the manual with the deprecation warnings.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions