| commit | 5659f59bef78db441b3f2a18e3b7f356cac40032 | [log] [tgz] |
|---|---|---|
| author | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Sun Dec 22 17:41:55 2019 +0100 |
| committer | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Sun Dec 22 17:41:55 2019 +0100 |
| tree | 8dc3bda2f932cfb740a82a5a568fd558b01a6130 | |
| parent | 71ac62dc47d58464776451dc10f926a8ea8dacdc [diff] |
Minor adjustments in UI labels Change-Id: Ieab7794cb974e380735dd87b0b2acd2e0b23a5da