Skip to content
Snippets Groups Projects
  1. Oct 28, 2019
  2. Oct 25, 2019
  3. Oct 24, 2019
  4. Oct 09, 2019
  5. Oct 08, 2019
  6. Jul 26, 2019
  7. Jul 23, 2019
  8. Jul 15, 2019
  9. Jul 02, 2019
  10. Jun 26, 2019
  11. Jun 25, 2019
  12. Jun 14, 2019
  13. May 31, 2019
  14. Apr 04, 2019
  15. Mar 06, 2019
  16. Feb 17, 2019
  17. Nov 12, 2018
  18. Aug 23, 2018
  19. Jul 18, 2018
  20. Jul 16, 2018
  21. May 17, 2018
  22. May 11, 2018
  23. Apr 10, 2018
  24. 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
  25. Apr 02, 2018
Loading