]>
| author | Christopher Blum <zeichenanonym@web.de> | |
| Sat, 14 Jul 2018 15:01:59 +0000 (17:01 +0200) | ||
| committer | Christopher Blum <zeichenanonym@web.de> | |
| Sat, 14 Jul 2018 15:01:59 +0000 (17:01 +0200) | ||
| commit | dae252749075bad7b91cae66fa786d1bfc716c6b | |
| tree | 7f657fd627445314e0b60bc3c8077f1aad110aa8 | tree | snapshot |
| parent | 6720f47157bf50c5a7b0d6c5ab3a3babecef39f6 | commit | diff |
| src/common/convenience.h | diff | blob | history |