| commit | d806d69649235b90d53756a6a67448a4e2059b76 | |
| author | Glenn Morris <rgm@gnu.org> | |
| Fri, 23 Feb 2018 21:00:44 +0000 (23 16:00 -0500) | ||
| committer | Glenn Morris <rgm@gnu.org> | |
| Fri, 23 Feb 2018 21:00:44 +0000 (23 16:00 -0500) | ||
| tree | 296103da80cc56421afa6cf3d006808106f37229 | treesnapshot (tar.gz zip) |
| parent | 4a8ea7d49a74a669c34102016aa554d82d06ec92 | commitdiff |
; Use @minus for negative numbers in some texi files