scratchabit: "Run plugin": Switch terminology to "plugin" from "script".
tree895d77431adaa263f569e63c3bb69d1df2b5e3a9
-rw-r--r-- 319 .gitmodules
-rw-r--r-- 35147 COPYING
-rw-r--r-- 4794 README.md
drwxr-xr-x - curses
-rw-r--r-- 111 default_plugins.py
drwxr-xr-x - docs
-rw-r--r-- 40848 engine.py
-rwxr-xr-x 7300 example-elf
-rw-r--r-- 94 example-elf.c
-rw-r--r-- 100 example.bin
-rw-r--r-- 1229 example.def
-rw-r--r-- 2665 help.py
-rw-r--r-- 8612 idaapi.py
-rw-r--r-- 1283 idc.py
drwxr-xr-x - libs
lrwxrwxrwx 20 picotui -> libs/picotui/picotui
drwxr-xr-x - plugins
-rw-r--r-- 2702 rangeset.py
-rw-r--r-- 2256 saveload.py
-rwxr-xr-x 34345 scratchabit.py
-rw-r--r-- 1235 uiprefs.py
-rw-r--r-- 452 utils.py