impr:organization make specmicp use new orga of specmicp_{common,database}
Description
Description
Details
Details
- Committed
georget Feb 7 2016, 17:08 - Parents
- rSPECMICPbf65b84e5d0c: impr:organization move test/database to tests/specmicp_database
- Branches
- Unknown
- Tags