all repos — website.git @ ecd3913cf5785e421bd87a610498ee03df6bff39

Files for the website.

..
-rw-r--r--
1882
base.html
-rw-r--r--
1174
blog-page.html
-rw-r--r--
848
index.html
-rw-r--r--
1196
section.html
-rw-r--r--
358
sim.html
-rw-r--r--
1194
wiki-page.html