1. 05 Apr, 2020 1 commit
  2. 02 Jun, 2019 1 commit
  3. 04 Nov, 2018 1 commit
  4. 30 Oct, 2018 2 commits
  5. 27 Oct, 2018 1 commit
  6. 26 Oct, 2018 1 commit
  7. 20 Oct, 2018 5 commits
  8. 13 Oct, 2018 2 commits
    • Erik Huelsmann's avatar
      (re)Move handling of styles · dbbb740a
      Erik Huelsmann authored
      Note that there was only one style and a lot of
      infrastructure to deal with that single style.
      Another argument against this code is the fact
      that it's completely dependent on the definition
      of global variables.
      dbbb740a
    • Mariano Montone's avatar
      Wittgenstein quote · 78a3dd85
      Mariano Montone authored
      78a3dd85
  9. 12 Oct, 2018 5 commits
  10. 11 Oct, 2018 2 commits
  11. 05 Oct, 2018 1 commit
  12. 19 May, 2018 2 commits
  13. 18 May, 2018 1 commit
  14. 17 May, 2018 2 commits
  15. 16 May, 2018 1 commit
  16. 15 May, 2018 2 commits
  17. 13 May, 2018 1 commit
  18. 12 May, 2018 6 commits
  19. 11 May, 2018 3 commits