https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/My-Files.xml

<ruleset name="My-files.de">
  <target host="w01.my-files.de" />
  <rule from="^http://w01\.my-files\.de/" to="https://w01.my-files.de/"/>
</ruleset>