5 ancestors of 7e6847fd5e605309
|
2022-10-26
| ||
| 13:59 | more pylint changes check-in: 7e6847fd5e user: mario tags: trunk | |
| 13:57 | introduce flit wrapper building on .setup (individualized property extraction) check-in: 655c75da9b user: mario tags: trunk | |
| 05:13 | add some more tests check-in: 3c5491d0b8 user: mario tags: trunk | |
| 05:13 | pylint fixes, support for ##type:, shift depends into separate module check-in: 6466a162be user: mario tags: trunk | |
|
2022-10-25
| ||
| 22:06 | enjoin pluginconf (python implementation here) check-in: 4b8c748142 user: mario tags: trunk | |
|
2018-05-18
| ||
| 13:51 | initial empty check-in check-in: db9f884efc user: mario tags: trunk | |