]>
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 |