Commit Graph

3 Commits

Author SHA1 Message Date
Vijay Janapa Reddi
5b56ffde5f Making things nicer 2023-10-09 19:59:54 -04:00
Vijay Janapa Reddi
5d50904fc4 Minor formatting of NAv bar 2023-10-08 09:14:55 -04:00
Vijay Janapa Reddi
22150afe03 Just making sure the front matter isn't the focus area 2023-09-18 23:03:03 -04:00