diff options
| author | davidovski <david@davidovski.xyz> | 2022-04-04 12:24:57 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-04-04 12:24:57 +0100 |
| commit | 263f6e08dd1b5e79a54b6928a1d2559261950e72 (patch) | |
| tree | 6e371e102b8eb451426886d307e21a2a6828e082 /repo/gmp | |
| parent | 9d6ce8a6402c12ee23dce21bb1d0e96e71d2a661 (diff) | |
removed extra configure flags for xterm
Diffstat (limited to 'repo/gmp')
0 files changed, 0 insertions, 0 deletions