diff options
| author | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-02-23 17:08:19 +0300 |
|---|---|---|
| committer | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-02-23 17:08:19 +0300 |
| commit | 960122179adec66d41a54f5ddaae8503c0b8dd76 (patch) | |
| tree | 6e5ba423480c7cae4a12cf3648dd5d7f4ceb4c9b /pkgs/development/python-modules/httpserver | |
| parent | 71c231e2a6b7d646a21feba5d0f7629fe821bc6d (diff) | |
| parent | 87b0a41ac5b0a59f8080b97e33d601f56d8558e0 (diff) | |
Merge pull request #13387 from gebner/isabelle2016
isabelle: 2015 -> 2016
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions