diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-16 13:23:16 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-12-16 13:23:16 +0200 |
commit | f2787b95fb75f2b961dc03c97b14fe07c593df05 (patch) | |
tree | 4f73c7dc453f1a8a922fd673413e0c00cb1d3444 /etc/dev | |
parent | ef9615aebb8a7b504c3b5cd2610e3c8f5bb4de58 (diff) |
Don't install mod{brep}'s headers
Diffstat (limited to 'etc/dev')
0 files changed, 0 insertions, 0 deletions