|
|
cc0d9f2be0
|
recover building the manual
|
2021-06-29 21:49:21 -04:00 |
|
|
|
878795e64a
|
bulk rename of remaining USER- packages
|
2021-06-29 20:12:59 -04:00 |
|
|
|
f9d1a914fb
|
Update check-packages.py
|
2020-08-03 13:49:37 -04:00 |
|
|
|
4549493145
|
Refactor check-packages.py
|
2020-08-03 13:47:40 -04:00 |
|
|
|
237c8f0bec
|
improve portability to older python versions
|
2020-04-02 17:13:19 -04:00 |
|
|
|
6b79b1f978
|
use table_from_list in Packages_details and check for completenes there, too
|
2020-02-22 13:25:21 -05:00 |
|
|
|
e8d1288527
|
added script to check for missing packages in package tables in manual
|
2020-02-22 11:46:31 -05:00 |
|
