Jehan f625e2ddfb menus, plug-ins: move script development related plug-ins in a... ...

"Development" submenu. Also get rid of the "Languages" placeholder.

2019-08-08 11:17:07 +02:00

..

.gitignore

plug-ins: add .gitignore files.

2019-08-06 23:22:18 +02:00

Makefile.am

…

pyconsole.py

…

python-console.py

menus, plug-ins: move script development related plug-ins in a...

2019-08-08 11:17:07 +02:00