diff options
| author | Aleksey Kladov <[email protected]> | 2020-08-13 16:42:52 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-08-13 16:58:27 +0100 |
| commit | 1b0c7701cc97cd7bef8bb9729011d4cf291a60c5 (patch) | |
| tree | b69f0c9947d9cec522ce835d7213b21075fe6dcf /.github | |
| parent | fc34403018079ea053f26d0a31b7517053c7dd8c (diff) | |
Rename ra_ide -> ide
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions