Sign in
Join now
odd
patrick.sirref.org
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Odoc docs
forked from
jon.recoil.org/odd
Star
Starred
Star
Something went wrong. Try again.
Fork
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`
·
4mo ago
2eb455b3
zsh
Rename the `show` command to `doc`
4mo ago
dune
Rename project to "odd" (odoc docs)
4mo ago
