diff options
| author | Jasper Hugunin | 2019-04-30 13:24:47 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2019-04-30 13:31:21 -0700 |
| commit | 708df3d3ebe5c6cf7c8b085beea986566fdab094 (patch) | |
| tree | cedfab473c384c628d5a92c509a9d4c409fd7e37 /doc/plugin_tutorial/tuto1 | |
| parent | bb4f304848e04c492d98db5da0bdb1895cecc191 (diff) | |
Remove the k0 argument from pretype functions.
This was introduced by @herbelin in
817308ab59daa40bef09838cfc3d810863de0e46, appears to have been
made unnecessary again by herbelin in
4dab4fc5b2c20e9b7db88aec25a920b56ac83cb6.
At this point it appears to be completely unused.
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions