diff options
| author | Nadrieril | 2019-04-26 15:25:02 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-26 15:25:02 +0200 |
| commit | 035222be680faf0da481bd13fb9adf2b2e290b80 (patch) | |
| tree | de6003764baa5f6637acb22642b714f4d6f7e7c3 /.gitmodules | |
| parent | 59ceed3eda4c8b1a046d18e898a330b7c18be863 (diff) | |
ensure_is_const is not that helpful
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions