| commit | be8aa923a70da16ebabe85e912abc6b815bbdcb4 | |
| author | DJ Delorie <dj@delorie.com> | |
| Thu, 6 Jul 2017 23:54:13 +0000 (6 19:54 -0400) | ||
| committer | DJ Delorie <dj@delorie.com> | |
| Thu, 6 Jul 2017 23:54:13 +0000 (6 19:54 -0400) | ||
| tree | 27635f26c64a80ad13c8907ecb6dece5ec81545c | treesnapshot (tar.gz zip) |
| parent | 9f5a1271315b0e7c7828f2d8077ab33dca3ee8bd | commitdiff |
* manual/tunables.texi: Add missing @end deftp.
| ChangeLog | diffblobblamehistory | |
| manual/tunables.texi | diffblobblamehistory |