Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
Makefile.am 2022-06-25 18:26 70
![[TXT]](/icons/text.gif){kind=icon}
dvi.h 2022-09-10 14:38 2.6K
dvisirule-bin.c 2022-09-11 11:02 10K
configure.ac 2022-09-12 10:05 836
aclocal.m4 2022-09-30 08:53 41K
configure 2022-09-30 08:53 178K
Makefile.in 2022-09-30 08:53 24K
config.h.in 2022-09-30 08:53 3.8K
![[DIR]](/icons/folder.gif){kind=icon}
config/ 2022-09-30 08:53 -
Makefile 2022-09-30 08:53 24K
config.h 2022-09-30 08:53 4.0K