diff options
| author | Blaž Hrastnik | 2022-06-06 15:08:47 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-06-06 15:23:40 +0000 |
| commit | b14c258a2c447b892c89d3e68ef4c9a74effca85 (patch) | |
| tree | 0e88e735936e48c2c82e4525fc957b3548995777 /runtime/queries/ocaml-interface | |
| parent | 8351a82c2cae58dd49c654d0e878c9d7227ef9c8 (diff) | |
prompt: If submitting empty prompt, use default (last used)
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions