# musher0's echinusrc file / fichier echinusrc de musher0
# # # # 2009-07-27 # # # #
# # #  Rév. : 2013-10-21, 2015-12-12, 2017-08-29, 2017-09-13
# # # # # # # # # # # # # # # # # # # #
