diff options
| author | Vito Caputo <vcaputo@pengaru.com> | 2023-09-08 14:00:33 -0700 |
|---|---|---|
| committer | Vito Caputo <vcaputo@pengaru.com> | 2023-09-08 16:23:33 -0700 |
| commit | de4e95a888cdc1ed490caceb984407e679c0965f (patch) | |
| tree | 2b36fb69d94210754002de1040af5105fd8c0249 /.gitignore | |
| parent | 55b6c91096ddb656888dd60486840cd39f42ce59 (diff) | |
til_builtins/blank: add force= setting
When using the blank builtin for profiling purposes it can be
necessary to ensure it actually incurs the cost of clearing.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions