diff options
author | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-02 23:05:22 -0500 |
---|---|---|
committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-03-02 23:05:22 -0500 |
commit | 2bb13fc7f1d2305829c8d7be1ab9192de5e5540b (patch) | |
tree | 20c2dbc133f52540d1c9bc2ffe366645441a1be3 /src/textadept.rc | |
parent | 94480d76c2ba413299ed0db840df620a385b323f (diff) |
Document GTK 3 theme options in the manual.
Diffstat (limited to 'src/textadept.rc')
0 files changed, 0 insertions, 0 deletions