Merge branch 'development' of https://github.com/maui-project/index into development
Description
Description
Details
Details
- Committed
Camilo higuita <milo.h@aol.com> Dec 24 2018, 7:23 PM - Parents
- R1009:0606efeeeca8: disabled travis
R1009:58cf39dd49d2: disable terminal until it is fixed - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
0606efeeeca8 | Bruno Miguel Queiros | disabled travis | Dec 8 2018 | |||
d5175e5f10c5 | Bruno Miguel Queiros | add debian packaging | Dec 8 2018 | |||
494ca3d18fb3 | Bruno Miguel Queiros | add debian folder | Dec 1 2018 | |||
e8c20569246c | Bruno Miguel Queiros | add debian folder | Dec 1 2018 |