source
|
define the structure of tiempo's man page
|
2022-09-20 10:45:27 -04:00 |
.gitignore
|
restart the docs
|
2022-09-17 23:22:22 -04:00 |
Makefile
|
restart the docs
|
2022-09-17 23:22:22 -04:00 |
make.bat
|
restart the docs
|
2022-09-17 23:22:22 -04:00 |
requirements.txt
|
adapt CI to include man file
|
2022-09-20 10:43:43 -04:00 |