Changes

Summary

1. added 7.2.4.2 file (details)

Commit ff87afc9c86cdd297325677e2fd86c76ed3590e8 by Claus Stadler added 7.2.4.2 file
	cstadler-tools-debian-cli/src/deb/resources/usr/share/cstadler-tools/virtuoso/7.2.4.2/virtuoso.ini