diff options
| author | Emilio Jesus Gallego Arias | 2020-07-23 17:28:15 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-23 17:28:15 +0200 |
| commit | 57f1199a345f93a35e8daf764ac4508b901046f4 (patch) | |
| tree | abb06e4e09e28f03295c1e53f61cde5821b92a9d /kernel/nativevalues.ml | |
| parent | 8ad615c8e3acdeaa5fa242f15dbab280d8d2cced (diff) | |
[changelog] Fix hanging file extension.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions