Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/hand.right.gif){kind=icon}
README 2023-05-16 20:12 893
![[ ]](/icons/unknown.gif){kind=icon}
glossaries-norsk.dtx 2023-05-16 20:11 4.7K
glossaries-norsk.ins 2023-05-16 20:11 1.2K