|
|
82cddf09e0
|
moved description to note
|
2020-09-04 16:35:00 +02:00 |
|
|
|
eeb20a670a
|
updates on developer information (parsing with lark)
|
2020-02-03 15:50:24 +01:00 |
|
|
|
30ce6187eb
|
archive of Gits now collects also submodules, some maintenance
|
2019-12-20 16:41:32 +01:00 |
|
|
|
7021becd32
|
conversions to git
|
2019-12-04 14:22:18 +01:00 |
|
|
|
32327c7342
|
imports from backlog, updates
|
2019-11-18 17:39:14 +01:00 |
|
