diff options
| author | Théo Zimmermann | 2019-06-06 11:22:08 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-06-17 18:08:32 +0200 |
| commit | 7521031c01976b045f81b6123f9ee9be77122a55 (patch) | |
| tree | 28873ade11486f4888e85537ca25772d25b49f7b /kernel/cemitcodes.mli | |
| parent | bfc5a469f4be928d1f01ac2811719ef6aae0e338 (diff) | |
Update py-style headers to new year.
Diffstat (limited to 'kernel/cemitcodes.mli')
0 files changed, 0 insertions, 0 deletions