diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2021-09-04 00:24:12 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2021-09-04 00:24:12 -0700 |
| commit | c81d4c183a13638d7f9a48cd5d6c7dc554ae0174 (patch) | |
| tree | 0979785711643a1e6a58282e13f9ecee54fb3510 /doc/gnulib-tool.texi | |
| parent | 6b8032a320a75053c6607fcd37d2d67ffe61fd77 (diff) | |
| download | gnulib-c81d4c183a13638d7f9a48cd5d6c7dc554ae0174.tar.gz | |
intprops: fix minor doc glitches
* doc/intprops.texi (Integer Properties): Fix doc glitches.
Diffstat (limited to 'doc/gnulib-tool.texi')
0 files changed, 0 insertions, 0 deletions