alpha
Login
Join now
patrick.sirref.org
/
odd
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Odoc docs
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
odd
/
completions
1 folder
·
1 file
at
main
Jon Ludlam's Agent
·
Rename the `show` command to `doc`
·
3mo ago
2eb455b3
zsh
Rename the `show` command to `doc`
3mo ago
dune
Rename project to "odd" (odoc docs)
3mo ago
