|
src
|
Add GitHubActions plugin for CI and docs
|
2019-11-10 11:15:55 +07:00 |
|
make.jl
|
Disable pretty urls except in CI
|
2019-11-01 09:41:22 +07:00 |
|
Manifest.toml
|
Update Documenter
|
2019-12-17 12:15:00 +07:00 |
|
Project.toml
|
set up new documentation (in this package)
|
2018-12-14 15:45:03 -06:00 |
