Revision 565859790e1c86bdc2faaf17a8ac9bdca7d2c679

Committed on 18/01/2021 11:15 pm by Petar Å panja <[email protected]> [GitHub Diff]

Tests: remove unused Travis configuration