| commit | b9a3cef2ba64d8d0ec142145467840b335af555a | [log] [tgz] |
|---|---|---|
| author | PeterFankhauserIDS <fankhauser@ids-mannheim.de> | Sun Apr 18 10:42:43 2021 +0200 |
| committer | PeterFankhauserIDS <fankhauser@ids-mannheim.de> | Sun Apr 18 10:42:43 2021 +0200 |
| tree | 41e2dfc7b415129d035d38b569cc7eb7c545c444 | |
| parent | e5ee0714a3f58434f2e71785f7297835225cbbf2 [diff] |
Some quick and dirty latex table generation. Change-Id: I8c6ea4d7e860e8ac0ddc31d55ecc2b4db5ba8cfa