diff options
| author | Jasper Hugunin | 2019-01-20 19:22:09 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2019-01-20 19:22:09 -0800 |
| commit | 25aaa4c5e9da90af41629d574dbc905f3781acd2 (patch) | |
| tree | 784abe20cdf3bd408f067122027d87b7ea8d9ea8 /kernel/constr.mli | |
| parent | 051b6efe1d730afe1a08eecac71282e24c4d4523 (diff) | |
Discard argument names of section variables on section close
Diffstat (limited to 'kernel/constr.mli')
0 files changed, 0 insertions, 0 deletions