diff options
| author | Diego Biurrun <diego@biurrun.de> | 2017-10-06 02:24:25 +0200 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2017-10-25 13:39:58 +0200 |
| commit | 9dc79b2943d99f256a3279f09580b27a95fb9aa8 (patch) | |
| tree | 2032b3281edfe028e555b774f60d74295608faa5 /doc/muxers.texi | |
| parent | 0af8a72174108b9bb482f1073a1e9a3bc258af51 (diff) | |
configure: Drop support for legacy PGI compiler
Diffstat (limited to 'doc/muxers.texi')
0 files changed, 0 insertions, 0 deletions