diff options
| author | Richard M. Stallman | 1993-07-31 07:33:02 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1993-07-31 07:33:02 +0000 |
| commit | bbd93e412956015a91a2d3c58ad9629f9915eb22 (patch) | |
| tree | dde68ec63c2755c5d433d0d932f5a677ebe2b74c /lib-src/timer.c | |
| parent | 2943f983f2f0e1d0320aed2b98ada4517beded24 (diff) | |
| download | emacs-bbd93e412956015a91a2d3c58ad9629f9915eb22.tar.gz emacs-bbd93e412956015a91a2d3c58ad9629f9915eb22.zip | |
(validate-tex-buffer): Record mismatches in *Occur*.
Diffstat (limited to 'lib-src/timer.c')
0 files changed, 0 insertions, 0 deletions