diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-04-11 09:16:15 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-04-11 09:16:24 +0200 |
| commit | f406af3573a2c632fd874562fecdffdd41431af7 (patch) | |
| tree | ad022a95c9ffcf126a6834b8b1d2f19127b75418 /.gitignore | |
| parent | 4c6cab2c5dbc6ce00970a3e579f7dd5dbcfcf03a (diff) | |
| parent | 8414cb04949e2b1b6811b338a3c854df577a3b76 (diff) | |
Merge pull request #4016
8414cb0 Doxygen-compatible comments in coding style (Wladimir J. van der Laan)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions