~cypheon/idris2-quickdocs

12e9ed8c — Johann Rudloff 2 months ago main
Escape "pipe" character when preparing the search regex
da9ea60f — Johann Rudloff 2 months ago
Remove local duplicate dev dir fallback value
c4b45519 — Johann Rudloff 2 months ago
Include docs for new "test" library
1a76e9e6 — Johann Rudloff 3 months ago
Enable TAB to focus search field from anywhere on the page, document the behaviour
b6fef6a6 — Johann Rudloff 4 months ago
Code style
d239bea2 — Johann Rudloff 4 months ago
Some small fixes and code quality changes
36f65fba — Johann Rudloff 5 months ago
Fix directory permissions after rebuilding docs
69327979 — Johann Rudloff 5 months ago
New version of `mkdoc` branch excludes namespaces, make indexing code simple
3609c27c — Johann Rudloff 5 months ago
Add README.md
ded2884c — Johann Rudloff 5 months ago
Generate a homepage with basic introduction
ad31d0a9 — Johann Rudloff 5 months ago
Add license
85bddf62 — Johann Rudloff 5 months ago
Initial commit