projects / tools / mic.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge "fix right install location in debian packaging" into devel
[tools/mic.git] / debian / mic.install
1 usr/bin/mic
2 usr/lib/*
3 usr/share/*
4 usr/share/*
5 etc/*
Domain: SCM / Build;