1. 05 Sep, 2020 1 commit
  2. 22 Aug, 2020 1 commit
  3. 19 Aug, 2020 1 commit
  4. 23 Apr, 2020 2 commits
  5. 15 Apr, 2020 2 commits
  6. 14 Apr, 2020 3 commits
    • sajolida's avatar
      Fix tipos in headings · b7f6a9c0
      sajolida authored
      b7f6a9c0
    • sajolida's avatar
      Consistently use gerund in headings · 7ea2b377
      sajolida authored
      It's more goal-oriented.
      
      Tricks to (roughly) verify the resulting consistency:
      
        - cat *.index.mdwn | sed -r 's/\s+ - \[\[\!traillink ([^|]+).+/\1/;s/_/ /g;s/<[^>]+>//g' | sort > /tmp/index
        - git grep -h 'meta title' -- "*.*m*" | sed -r 's/\[\[\!meta title="([^"]+)"\]\]/\1/' | sort > /tmp/titles
        - vimdiff /tmp/index /tmp/titles
      7ea2b377
    • sajolida's avatar
      Apply style guide · bf3ebbe2
      sajolida authored
      bf3ebbe2
  7. 22 Jan, 2020 2 commits
  8. 15 Jan, 2020 3 commits
  9. 24 Oct, 2019 3 commits
  10. 01 Oct, 2019 3 commits
  11. 29 Sep, 2019 1 commit
  12. 28 Aug, 2019 1 commit
  13. 21 Aug, 2019 2 commits
  14. 30 Jul, 2019 2 commits
  15. 11 Jul, 2019 2 commits
  16. 02 Jun, 2019 1 commit
  17. 12 Apr, 2019 1 commit
  18. 09 Dec, 2018 1 commit
  19. 13 Nov, 2018 1 commit
  20. 12 Nov, 2018 1 commit
  21. 01 Nov, 2018 1 commit
  22. 30 Oct, 2018 3 commits
  23. 27 Oct, 2018 2 commits