Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - bibtool.pdf 2020-04-13 17:23 835K BibTool-2.68.tar.gz 2020-04-13 17:23 728K c_lib.pdf 2020-04-13 17:23 489K ref_card.pdf 2020-04-13 17:23 323K README.md 2020-04-13 17:23 4.1K BibTool-2.68.tar.gz.asc 2020-04-13 17:23 488