diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-26 23:09:19 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-09-30 01:43:53 +0200 |
| commit | a85df04fcb2876591ac39d55e920c7cd15411431 (patch) | |
| tree | 581a9297079544ac3f320a9ca338b68d2834f2d5 /.github | |
| parent | 4655563470b59e0ef50a33af003058c2b54db778 (diff) | |
refactor showOptions
it was quite a pain to manipulate strings just with `builtins`
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions