Name Last modified Size Description Parent Directory - metadata.xml 13-Aug-2023 02:19 331 Manifest 25-Jul-2024 06:00 926 clingo-mode-20240724..> 25-Jul-2024 06:00 422