Revision 51a4c873c69491482e0484ccdd528cfee90b084f

Committed on 07/04/2022 7:44 am by Petar Å panja <[email protected]> [GitHub Diff]

Remove Travis configuration