Timeline
Parents and children of check-in [8df40a36ed]
2022-12-30
| ||
18:06 | Update available instances (default selection from current number of users) check-in: 011fd267c4 user: mario tags: trunk | |
2022-12-28
| ||
21:25 | Add record_helper.sh from axelhahn check-in: 8df40a36ed user: mario tags: trunk | |
2022-11-01
| ||
23:28 | adapt for renamed pluginconf properties check-in: da8eb157fd user: mario tags: trunk | |