Edit history for Mantra

2019-07-22 14:46:25 menace Edited nick 'Mantra': changed name to 'Mantra'; changed differentiator to 'amiga/.uk'