diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-06-11 16:35:14 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-06-11 16:35:14 +0200 |
| commit | 739e736fe179fa39844dac6bd8ffa0aef0fc3fa9 (patch) | |
| tree | bff1e1608c6d45ef88f4a87f0fd16971a051cf7e /src/mhd/Makefile.am | |
| parent | e35bf868127033765163dc42b61a2b52feb4ff0e (diff) | |
| download | exchange-739e736fe179fa39844dac6bd8ffa0aef0fc3fa9.tar.xz | |
only return compressed terms if we actually have those
Diffstat (limited to 'src/mhd/Makefile.am')
0 files changed, 0 insertions, 0 deletions