summaryrefslogtreecommitdiff
path: root/.gitmodules
AgeCommit message (Expand)AuthorLines
2020-09-11versuchung: use JSON metadata branchDaniel Friesel-1/+2
2020-09-10Add kconfig state space exploration script (random + neighbourhood)Daniel Friesel-0/+6