diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2016-01-30 22:55:06 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2016-01-31 00:19:53 +0100 |
commit | 716eccb11f324abc120c24ce0344b7094f1aa435 (patch) | |
tree | 85630e94c6f324b1f7b3dc876062dd0dd60d6b48 /include | |
parent | 4c25a0d4af899b43d557a6d2dc1b4291e5f75659 (diff) |
Drop bitrotting HUGS support
It's very unlikely the current `unix` code stands any chance of even
remotely work with Hugs...
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions