diff options
| author | w0rp <devw0rp@gmail.com> | 2021-01-31 16:29:22 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2021-01-31 16:29:22 +0000 |
| commit | 1457e5452863ce3e30e77f68aa2adece72f1cc69 (patch) | |
| tree | 9da0191d5478c7140dc2e358e49e4ba526a97bcc /test/handler/test_dafny_handler.vader | |
| parent | e8080be08b5d3534d8a215343250a35d1c2f7780 (diff) | |
| download | ale-1457e5452863ce3e30e77f68aa2adece72f1cc69.zip | |
#3527 - Clarify that popup menus should only be used in GUI Vim
Diffstat (limited to 'test/handler/test_dafny_handler.vader')
0 files changed, 0 insertions, 0 deletions