remove travis config file
Description
Description
Details
Details
- Committed
aubort Jul 2 2018, 16:20 - Pushed
aubort Jul 2 2018, 16:20 - Parents
- rGITIGNOREa7fa93cb11a0: Remove github PR template
- Branches
- Unknown
- Tags
- References
- HEAD -> master
aubort | Jul 2 2018, 16:20 |
aubort | Jul 2 2018, 16:20 |