Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - LICENSE 2017-09-02 12:01 1.1K README.md 2017-09-02 12:00 264 bibletext.pdf 2017-09-02 12:01 137K bibletext.sty 2017-09-02 12:01 1.6K bibletext.tex 2017-09-02 12:01 2.3K