diff options
| author | Franz Pletz <fpletz@fnordicwalking.de> | 2017-09-10 17:59:45 +0200 |
|---|---|---|
| committer | Franz Pletz <fpletz@fnordicwalking.de> | 2017-09-15 21:51:35 +0200 |
| commit | b19fa00e3edd49442a838e4979b88d4d9e99af00 (patch) | |
| tree | b78b4d223a1a5be32bc5d32e363b94ac940ba8e0 /pkgs/development/python-modules/python-sql | |
| parent | 76519f9299065671a694adf9214e54cb3efae5cd (diff) | |
Revert "mcrl2: force use of gcc5 to prevent compilation errors"
This reverts commit 5e5e57b57bc06119b63e07405a2550894e5bff83.
Already fixed with edd94f5fcd077a9e7eb80102cc076a8f8bfe3524.
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions