------------------------------------------------------------------- Tue Oct 30 09:41:06 UTC 2018 - Tomáš Chvátal - Initial commit, needed by acitoolkit