projects / tools / mic.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Handle conflicts from git merge release-20160315
[tools/mic.git] / debian / mic.install
1 debian/tmp/usr/bin/mic  /usr/bin
2 debian/tmp/usr/lib/*  /usr/lib
3 debian/tmp/usr/share/*  /usr/share
4 debian/tmp/etc/*  /etc
Domain: SCM / Build;