https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/LMU-Muenchen.xml

<ruleset name="LM Uni Muenchen">
  <target host="uni-muenchen.de"/>
  <target host="*.uni-muenchen.de"/>

  <securecookie host="^(.*\.)?uni-muenchen\.de$" name=".*" />

  <rule from="^http://(?:www\.)?uni-muenchen\.de/" to="https://www.uni-muenchen.de/"/>
  <rule from="^http://uni-muenchen\.de/" to="https://www.uni-muenchen.de/"/>
</ruleset>