SuccessChanges

Summary

  1. added 7.2.4.2 file (details)
The file was addedcstadler-tools-debian-cli/src/deb/resources/usr/share/cstadler-tools/virtuoso/7.2.4.2/virtuoso.ini