Ell 175e3ea7d9 app: various fixes/cleanups to last commits ...

(cherry picked from commit 30429e30e2)

2019-06-06 03:10:03 -04:00

..

.gitignore

…

app-docs.sgml

app: remove "Edit -> Fade..."

2018-12-27 11:45:11 -05:00

app-overrides.txt

…

app-sections.txt

app: various fixes/cleanups to last commits

2019-06-06 03:10:03 -04:00

app.types

devel-docs: make the docs for app/ build again

2013-03-09 00:03:59 +01:00

Makefile.am

app: move all propgui files from app/widgets/ to new folder app/propgui/

2017-07-03 12:29:41 +02:00

version.in

…