diff options
| author | Jason Ekstrand <[email protected]> | 2017-12-15 08:52:21 -0800 |
|---|---|---|
| committer | Jason Ekstrand <[email protected]> | 2018-01-23 21:10:19 -0800 |
| commit | bc0a21e34811e0e1542236dbaf5fb1fa56bbb98c (patch) | |
| tree | d404c2e47bcbf56422d4d46539bb6ae2a5ea0c66 /.dir-locals.el | |
| parent | 4b69ba381766cd911eb1284f1b0332a139ec8a75 (diff) | |
anv/cmd_state: Drop the scratch_size field
This is a legacy left-over from the mechanism we used to use to handle
scratch. The new (and better) mechanism doesn't use this.
Tested-by: Józef Kucia <[email protected]>
Reviewed-by: Topi Pohjolainen <[email protected]>
Cc: "18.0" <[email protected]>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions