Leonid Pliushch 5123b0cffa fix formatting of some build.sh		2020-01-13 03:00:07 +02:00
..
build.sh	fix formatting of some build.sh	2020-01-13 03:00:07 +02:00
texindex-texindex.in.patch	texinfo: Use patch instead of sed	2018-07-15 17:05:11 +02:00