diff options
| author | Laurențiu Nicola <[email protected]> | 2021-02-20 15:06:00 +0000 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2021-02-20 15:18:53 +0000 |
| commit | 4c589aded0a7d63f5890f7c83d9f241082d07fd9 (patch) | |
| tree | d383816f4d8421606cbfc7fb4db9341e28457ea9 /docs/dev | |
| parent | 1349f6a79177c6b1ba6880cd5d675c12df70688c (diff) | |
Remove documentation of obsolete extend selection command
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions