Revision 4fcbeecd2aa5ef47ab75ee645ada1c95a36de107

Committed on 18/08/2020 5:37 pm by Morel Sébastien <morel.seb@gmail.com> [GitHub Diff]

Remove remaining Travis