1. 17 Apr, 2019 1 commit
  2. 11 Apr, 2019 1 commit
  3. 10 Apr, 2019 1 commit
  4. 09 Apr, 2019 1 commit
  5. 08 Apr, 2019 2 commits
    • Raffaele Grosso's avatar
      Add changes from temporary branch by Sören · b2e6a0e5
      Raffaele Grosso authored
      Also:
      - clean unused files in pics/
      - (re)add some minor german spell checking
      - remove PDFs from gitignore, to allow PDF files in pics/
      
      The last item has the consequence that the PDF file of document
      generated by pdflatex gets added to the history at each commit,
      increasing the size of .git invain. For the moment it's not clear how we
      could get rid of this disadvantage.
      b2e6a0e5
    • Raffaele Grosso's avatar
      Correct one line spacing. · d62682c9
      Raffaele Grosso authored
      d62682c9
  6. 05 Apr, 2019 1 commit
  7. 04 Apr, 2019 1 commit
  8. 03 Apr, 2019 7 commits
  9. 02 Apr, 2019 1 commit
  10. 01 Apr, 2019 3 commits
  11. 29 Mar, 2019 1 commit
  12. 25 Jan, 2019 1 commit
  13. 22 Oct, 2018 1 commit
  14. 19 Feb, 2018 1 commit
  15. 02 Feb, 2018 1 commit
  16. 01 Feb, 2018 1 commit
  17. 29 Jan, 2018 2 commits
  18. 26 Jan, 2018 2 commits
  19. 24 Jan, 2018 1 commit
  20. 27 Oct, 2017 1 commit
  21. 26 Oct, 2017 1 commit