diff options
| author | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-29 19:58:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-29 19:58:20 +0200 |
| commit | af147183921f2edc970a58532184835d7a7e773c (patch) | |
| tree | eee8791aeb2b866238d037c3b7ca1a373e329cdd /pkgs/development/python-modules/httpserver | |
| parent | 51af2c330b2222f51383ecf11e89b8ec7571455e (diff) | |
| parent | 0bfa4e8195900771aeb732ef23febb2fc99fe4dd (diff) | |
Merge pull request #40612 from symphorien/boogie_vim
boogie: enable usage as a vim plugin
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions