diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-02-22 13:40:40 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-02-22 13:40:40 -0500 |
| commit | 4c52b20e3ea95119afb6dd12787d899926917054 (patch) | |
| tree | 352952d89b39b53af4c2a42eb6f8a261deb1d2d8 /lib/proof-site | |
| parent | dadb049ec4908bba38694e0a268a9899e69fda50 (diff) | |
| download | configs-4c52b20e3ea95119afb6dd12787d899926917054.tar.gz configs-4c52b20e3ea95119afb6dd12787d899926917054.tar.xz configs-4c52b20e3ea95119afb6dd12787d899926917054.zip | |
[emacs/gnus] make topic line format more consistent with group lines
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions