Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443Name Last modified Size Description
Parent Directory -
ted-2.23-use-Motif-toolkit-instead-of-GTK-by-default.patch 2021-04-13 09:39 637
ted-2.23-freetype261.patch 2015-10-14 23:27 273
ted-2.23-0003-avoid-compressing-man-page.patch 2021-04-13 09:39 1.1K
ted-2.23-0002-fix-unrecognized-option-with-GTK.patch 2021-04-13 09:39 3.4K
ted-2.23-0001-pass-MAKE-to-subdir.patch 2021-04-13 09:39 776