diff options
| author | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-11 04:15:07 -0400 |
| commit | 065e8a4d8122d4616b570496915d2c0e2c78cd6b (patch) | |
| tree | f2bbdc3e40b796b34026ab04c9a478d8a3f082d5 /documentation/bookmark/tool | |
| parent | 68d78235694c633c956bb9e8a007cad7d65370bc (diff) | |
Re-named the "case" macro to "when".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions