Peter MossesandKevin Lin 000da77ba2 Update _includes/nav.html ...

Correction needed for use of collections.

Co-authored-by: Kevin Lin <kevinl@cs.uw.edu>

2020-09-12 08:55:53 +02:00

..

css

Merge branch 'master2' into improvement-custom-themes-merged

2019-11-26 23:27:33 +01:00

js

…

vendor

Update anchor_headings.html

2020-08-02 12:59:05 +02:00

fix_linenos.html

Simplified the use of fix_linenos

2020-07-06 15:07:53 +02:00

head_custom.html

…

head.html

merge upstream

2020-06-26 11:50:56 +01:00

nav.html

Update _includes/nav.html

2020-09-12 08:55:53 +02:00

title.html

…