diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-09-04 14:27:29 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@inria.fr> | 2022-09-04 14:27:29 +0200 |
| commit | eb7d9127e08ec004d776e0536d478fc5bf499eb7 (patch) | |
| tree | 5e4956055b8db468d312d4b6a723c8ec0708128f /pkgs/development/python-modules/rangehttpserver | |
| parent | e5b52ee3e27886d6997da79d09f1b7aff3cd54cf (diff) | |
coq: document CoqIDE split
Changelog for #180385.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions