../ src/ 05-Jul-2025 19:35 - README 05-Jul-2025 19:35 1679 makeglossariesgui-en.pdf 05-Jul-2025 19:35 588808 makeglossariesgui-installer.jar 05-Jul-2025 19:35 4747881 makeglossariesgui.1 05-Jul-2025 19:35 6327