[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]src/2022-09-30 01:53 -  
[   ]reconf.sh2022-09-11 04:20 130  
[   ]fonts.tex2022-09-11 04:20 154  
[   ]dvisirule.sh2022-09-11 04:20 3.5K 
[   ]dvisirule.pdf2022-09-30 01:53 59K 
[   ]dvisirule.ins2022-09-11 04:20 139  
[TXT]dvisirule.dtx2022-09-11 04:20 15K 
[TXT]dvisirule-pgnum.awk2022-09-11 04:20 1.2K 
[TXT]dvisirule-marker.awk2022-09-11 04:20 2.1K 
[TXT]dvisirule-expg.mk2022-09-11 04:20 1.0K 
[   ]demo.tex2022-09-11 04:20 676  
[   ]cmd.mk2022-09-11 04:20 738  
[TXT]Makefile2022-09-11 04:20 2.3K 
[TXT]LICENSE2022-09-11 04:20 18K 
[TXT]DEPENDS.txt2022-09-11 04:20 5