![[ICO]](/theme/icons/empty.svg){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/user-home.svg){kind=icon} | Parent Directory | - | |
![[DIR]](/theme/icons/folder.svg){kind=icon} | CVS/ | 2026-01-11 17:36 | - |
| patch-compiler_src_Data_Name.hs | 2025-03-09 07:35 | 1.3K |
| patch-compiler_src_Data_Utf8.hs | 2025-03-09 07:35 | 4.3K |
| patch-compiler_src_Parse_Variable.hs | 2025-03-09 07:35 | 839 |
| patch-compiler_src_Reporting_Doc.hs | 2025-03-09 07:35 | 2.0K |