aboutsummaryrefslogtreecommitdiff
path: root/etc/dev
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-12-16 13:23:16 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-12-16 13:23:16 +0200
commitf2787b95fb75f2b961dc03c97b14fe07c593df05 (patch)
tree4f73c7dc453f1a8a922fd673413e0c00cb1d3444 /etc/dev
parentef9615aebb8a7b504c3b5cd2610e3c8f5bb4de58 (diff)
Don't install mod{brep}'s headers
Diffstat (limited to 'etc/dev')
0 files changed, 0 insertions, 0 deletions