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