diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-02-21 16:26:11 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-02-21 16:26:11 +0800 |
| commit | 7880f616502f64c8b1b3b092ade8876a433aeb12 (patch) | |
| tree | a3efab60af7e859bbcebd6a63d30fd469218584c /desktop | |
| parent | f1b051d8f80f83fa6ff853667b01e309944673e0 (diff) | |
tex: Derive labels and ask for confirmation.
* tex-conf.el (reftex-insert-label-flags): Be smarter when inserting
labels.
Diffstat (limited to 'desktop')
0 files changed, 0 insertions, 0 deletions