diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-06-28 15:06:04 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-06-28 15:06:18 +0200 |
commit | 9125ef942174254d4afdf96c3eda1da12dff01e0 (patch) | |
tree | b9302084bb363a0e68bdab96bf2aff4a1fac4bb8 /src/main.h | |
parent | 5bc77b2bb23509bfc8bc54e95c52be55ac3085c0 (diff) | |
parent | 86fe1b864b109869659f140af07047163637a673 (diff) |
Merge pull request #4398
86fe1b8 update coding.md to reflect changes by pull (Philip Kaufmann)
e10dcf2 ensure clean and consistent "namespace" usage (Philip Kaufmann)
Diffstat (limited to 'src/main.h')
0 files changed, 0 insertions, 0 deletions