diff options
| author | Maarten Hoogendoorn <maarten@moretea.nl> | 2017-09-10 14:11:03 +0200 |
|---|---|---|
| committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-09-10 15:09:46 +0200 |
| commit | 5e5e57b57bc06119b63e07405a2550894e5bff83 (patch) | |
| tree | 8598cd25c5b93a87cacdd1e980d6187f453488df /pkgs/development/python-modules/httpserver | |
| parent | b7ac21fe0d639f2305788fbc90949083e060d367 (diff) | |
mcrl2: force use of gcc5 to prevent compilation errors
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions