diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2021-01-02 23:53:59 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2021-01-02 23:53:59 +0100 |
| commit | d55b8481968c7bdd661eab78e06796d768c86cdf (patch) | |
| tree | 34d5045452115460e73a488a30647ef430da94a2 /Makefile | |
| parent | a4d0abb174adabca0ae6f9e4ba9a796ffb8e5146 (diff) | |
Add "switch to REPL" menu item to context menu.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions