Dima Gerasimov
|
56d5587c20
|
CI: clean up tox config a bit, get rid of custom lint script
|
2021-02-18 02:04:40 +00:00 |
|
Dima Gerasimov
|
b7662378a2
|
docs: minor updates
|
2020-05-22 19:38:14 +01:00 |
|
Dima Gerasimov
|
02ba71a91d
|
documentation: generate tables of content, better navigation
|
2020-05-18 23:31:55 +01:00 |
|
Dima Gerasimov
|
d4a430e12e
|
update dev docs
|
2020-05-06 23:21:29 +01:00 |
|
Dima Gerasimov
|
f766c8abe5
|
updates to the setup guide
|
2020-04-12 13:42:03 +01:00 |
|
Dima Gerasimov
|
4d33416696
|
add development doc
|
2020-04-11 22:25:54 +01:00 |
|