summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore58logplain
-rw-r--r--situational-graphs-datasets.spec2584logplain
-rw-r--r--sources91logplain