diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-15 22:34:13 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-15 22:34:13 +0200 |
| commit | 17edf56038f7f3f6e878d61278a8c5f49e76bde4 (patch) | |
| tree | 59d30fe62fb75196e7b84ca4564e948bbd8f6ec8 /lib/backtrace.mli | |
| parent | 8c5d14bd399a02d15d46a27f14b7791afb30c3c5 (diff) | |
| parent | b6733f0507e3e04fb6130b3f82a79e8835e1062f (diff) | |
Merge PR#713: Bump year in headers.
Diffstat (limited to 'lib/backtrace.mli')
0 files changed, 0 insertions, 0 deletions