Name Last modified Size
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 13-Sep-2025 02:31 -
![[TXT]](/icons/text.gif){kind=icon}
make.sh 09-Sep-2025 07:29 4k
make.univ-min.cur.conf 30-Aug-2023 09:27 1k
make.univ-min.rel.conf 30-Aug-2023 09:19 1k
make.univ.cur.conf 30-Aug-2023 09:27 1k
src.univ-min.cur.conf 30-Aug-2023 10:00 4k
src.univ-min.rel.conf 30-Aug-2023 10:00 4k
src.univ.cur.conf 30-Aug-2023 09:24 1k