Skip to content
Snippets Groups Projects
  1. Nov 07, 2019
  2. Oct 28, 2019
  3. Oct 25, 2019
  4. Oct 24, 2019
  5. Oct 09, 2019
  6. Oct 08, 2019
  7. Jul 26, 2019
  8. Jul 23, 2019
  9. Jul 15, 2019
  10. Jul 02, 2019
  11. Jun 26, 2019
  12. Jun 25, 2019
  13. Jun 14, 2019
  14. May 31, 2019
  15. Apr 04, 2019
  16. Mar 06, 2019
  17. Feb 17, 2019
  18. Nov 12, 2018
  19. Aug 23, 2018
  20. Jul 18, 2018
  21. Jul 16, 2018
  22. May 17, 2018
  23. May 11, 2018
  24. Apr 10, 2018
  25. Apr 03, 2018
    • Michael McAndrew's avatar
      trivial: remove layer of quotes · c706df12
      Michael McAndrew authored
      Two arrows were being interpreted as two layers of quotes. I removed one of them. Then I thought, actually, these are not quotes. Maybe we should remove move. And maybe just having them on their on paragraph without any quotes is good enough. I am shying away from using boxes for this since to avoid box fatigue but would be interested in some opinions on the house style.
      c706df12
  26. Apr 02, 2018
Loading