Index of /log/idris2/

../
2022-10-28.log                                     28-Oct-2022 19:57                 387
2023-12-22.log                                     22-Dec-2023 19:13                 287