summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2015-09-10 00:23:47 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2015-09-10 00:23:47 +0200
commit87a79cbf282e97a7e729205d7cb19182c298474a (patch)
tree5a0426989d608b6228e3240744fc03090b372cb5 /.gitignore
parent70962d761a364364f2809262a299829f35c1dd1e (diff)
Do not install libtrivfs mig stub headers
They were not usable anyway. * libtrivfs/Makefile (installhdrs): Remove generated mig stub headers.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions