| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COPYING | 35147 | logplain |
| -rw-r--r-- | README | 630 | logplain |
| -rw-r--r-- | build_system_log.gpr | 1312 | logplain |
| -rw-r--r-- | directories.gpr | 671 | logplain |
| -rw-r--r-- | system_log.adb | 4997 | logplain |
| -rw-r--r-- | system_log.ads | 3921 | logplain |
| -rw-r--r-- | system_log.gpr | 664 | logplain |