Jehan f16ad87f2d plug-ins: add .gitignore files.

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

..

.gitignore

plug-ins: add .gitignore files.

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

Makefile.am

…

pyconsole.py

…

python-console.py

plug-ins: use GtkSettings values to determine whether to use header bar.

2019-08-05 16:10:12 +02:00