diff options
| author | Naïm Favier <n@monade.li> | 2021-09-16 00:30:14 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-09-23 14:39:50 +0200 |
| commit | b2391a51d25aa45679192abaf6b77b87fecfac93 (patch) | |
| tree | 2b72e0f6149d01a8908409e13e5a464e53ebe894 /pkgs/development/python-modules/rangehttpserver | |
| parent | 6764a57d3290fbc9469b12fc890b0c43191ee5b0 (diff) | |
coq: add desktop file for coqide
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions