# 15 Feb 2021
# FVWM myExtensions ver. 0.9.7
#
