diff options
| author | Maxime Dénès | 2017-03-14 20:28:43 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-14 20:28:43 +0100 |
| commit | f463fd3d8af95129935f27a981fcd4a8a6f11f75 (patch) | |
| tree | 48052f098e1e8ab37b6b3aed7d63dbc4f4eddb0b /dev/base_include | |
| parent | 93a75d635ac3fb52eed7b39c3c7a8e656f0a81b7 (diff) | |
| parent | e69f8622d1b844f77d14e3ba4db797f7c64e6bed (diff) | |
Merge PR#412: Remove outdated comment from 2002.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions