diff options
| author | jao <jao@gnu.org> | 2023-01-17 22:27:15 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2023-01-17 22:27:15 +0000 |
| commit | a286928de7875cde612dce0619cbf3898b4d5bbb (patch) | |
| tree | d93693918a780bc0a791f70be8e663246ad87051 /.gitignore | |
| parent | bc4828b3d6333f4c2490976e79ebf6b12d7c95f6 (diff) | |
| download | elibs-a286928de7875cde612dce0619cbf3898b4d5bbb.tar.gz elibs-a286928de7875cde612dce0619cbf3898b4d5bbb.tar.bz2 | |
themes: symbol-overlay faces
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions