diff options
| author | Gaëtan Gilbert | 2020-08-24 13:34:47 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-08-25 16:15:18 +0200 |
| commit | 495466d20d53ca33adc69a4d9f6cceb8f30d8aad (patch) | |
| tree | 31c4c0b49defed84125a0bffa4a138b4f824c231 /dev | |
| parent | a9a0307e2695e97143a8fc36ccdbfdd7de0c3820 (diff) | |
Deprecate intro_using
This is a footgun as it can refresh the name. Callers can still ignore
the generated name by doing `intro_using_then id (fun _ -> tclUNIT())`.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions