Home Explore Help
Sign In
RISCI_ATOM
/
harvey
mirror of https://github.com/Harvey-OS/harvey.git
1
0
Fork 0
Files Issues 0 Wiki
Tree: 464210259d
Branches Tags
harvey
/
web
Ronald G. Minnich 464210259d Switch to the ninep server from github.com/rminnich/ninep 8 years ago
..
docs 464210259d Switch to the ninep server from github.com/rminnich/ninep 8 years ago
harvey-theme 326c71c03e Show new news in index. Minor style update to blockquotes. 8 years ago
.gitignore 1f2bf8e0b2 Fixes website's top menu jumpiness when screen < 1000px wide. 9 years ago
mkdocs.yml 268019ad58 Opened a "News" section and moved USENIX info under it. 9 years ago
runlocal.sh 0191cb6c21 website overhaul (get rid of lorem ipsum, put in a minor style change) 9 years ago