Commit 640244865a6516a37d13fa09cc725b3ae260e38d

Stefan Sperling 2020-02-13T16:54:45

remove unnecessary etc directory from dist file list; noticed by tracey