[PACKAGING] Added some more files for packaging
This commit is contained in:
committed by
Philippe Tillet
parent
c73dee080c
commit
3709f564e1