Change #270225
| Category | texinfo |
| Changed by | Gavin Smith <gavinsmith0123@gmail.com> |
| Changed at | Tue 09 Jun 2026 18:37:43 |
| Repository | https://git.savannah.gnu.org/git/texinfo.git |
| Project | texinfo |
| Branch | master |
| Revision | 42d2052be74ba5a23b0fe4df938a123c987888ea |
Comments
* doc/texinfo.texi (Details of texindex): Remove old information about TexiWeb Jr.
Changed files
- ChangeLog
- doc/texinfo.texi