|
|
1219bfdc99
|
few fixes
|
2022-09-21 13:10:30 +02:00 |
|
|
|
d83fb45ecc
|
Update 'tools/sync_doc_repo.py'
|
2022-09-21 06:50:01 +00:00 |
|
|
|
a7d698e705
|
smaller fixes to gitcontrol management
|
2022-09-07 12:08:32 +02:00 |
|
|
|
4c7e210159
|
add teams info into metadata
|
2022-09-06 15:41:01 +02:00 |
|
|
|
d30e3d778f
|
Add generator for gitcontrol repo files
|
2022-09-06 14:36:45 +02:00 |
|
|
|
a092056387
|
add new tools
|
2022-09-01 09:04:48 +02:00 |
|
|
|
96b61f9d76
|
update convert script to latest state
|
2022-08-25 09:43:06 +02:00 |
|
|
|
94f4df5276
|
add script for syncing docs
|
2022-08-25 09:09:46 +02:00 |
|
|
|
1d9eff3b2a
|
Extend docs with links
- add links to the docs
- add tools/sort_metadata to resort data
|
2022-08-23 10:34:31 +02:00 |
|
|
|
5f3eaf843e
|
next updates
|
2022-08-23 09:29:16 +02:00 |
|
|
|
2ff9eeca27
|
Create doc-exports metadata generator script
- add script to generate metadata file for doc-exports repository
- fix metadata issues which became visible with that script
|
2022-08-22 12:04:17 +02:00 |
|
