summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authordimitri staessens <dimitri.staessens@ugent.be>2017-09-19 20:37:15 +0200
committerdimitri staessens <dimitri.staessens@ugent.be>2017-09-19 20:37:15 +0200
commit85477c51efce50645b1e87e639cdfe9e6afc524b (patch)
tree4cae62a0dec680ddc9a26082caa25e3cf078a797 /.gitignore
parentacd8235533d63a7e4dd4d1b5bdb17423d4b6fd75 (diff)
downloadouroboros-85477c51efce50645b1e87e639cdfe9e6afc524b.tar.gz
ouroboros-85477c51efce50645b1e87e639cdfe9e6afc524b.zip
build: Notify if FUSE is not installed
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions