1. 08 Feb, 2019 1 commit
    • problems@cip.cs.fau.de's avatar
      Neue GitLab-Regeln / new GitLab rules · 0d5a331f
      problems@cip.cs.fau.de authored
      Die Regeln wurden komplett neu geschrieben um kompakter und klarer zu
      sein. Für spätere Regeländerung kann dieses Git-Repository dann
      verwendet werden, um Änderungen nachzuverfolgen.
      
      The rules were completely rewritten to be more concise and
      understandable. For later changes, this git repository can be used to
      track the changes.
      0d5a331f