tree 9ab3895b71ed38b80248f124709713c8ba636328
parent 31c3465657a86b98050a6cad9731f005fce84c28
parent 8e065f2fe727cf7093f40e0b55f23744f382743e
author Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1606914585 +0200
committer Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1606914585 +0200

Merge branch 'develop' into develop-pruned

- unzipped mgmt_core.v.gz