diff options
| author | Jack Lloyd <[email protected]> | 2019-10-10 19:34:34 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2019-10-10 19:34:34 -0400 |
| commit | d287c7567b5f65c9d21957d23bd324dcc4649b89 (patch) | |
| tree | 5d0be099262d628ef095e5f80ed8622020a194bc /doc/old_news.rst | |
| parent | 4add9778f68f7c5832f61124870c1fdbb09c4997 (diff) | |
| parent | 34f6e5266b3713965d8a2bdbada5fae18d3833f5 (diff) | |
Merge GH #2140 Avoid make install trying to build unwanted targets
Diffstat (limited to 'doc/old_news.rst')
0 files changed, 0 insertions, 0 deletions