| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| CVS/ | - | 2023-Feb-20 12:01 |
| brigfrontend/ | - | 2023-Feb-20 12:01 |
| Make-lang.in | 7.4 KiB | 2023-Feb-20 12:01 |
| brig-builtins.h | 3.7 KiB | 2023-Feb-20 12:01 |
| brig-c.h | 2.1 KiB | 2023-Feb-20 12:01 |
| brig-lang.c | 27.5 KiB | 2023-Feb-20 12:01 |
| brigspec.c | 3.7 KiB | 2023-Feb-20 12:01 |
| config-lang.in | 1.4 KiB | 2023-Feb-20 12:01 |
| gccbrig.texi | 4.7 KiB | 2023-Feb-20 12:01 |
| lang-specs.h | 1.1 KiB | 2023-Feb-20 12:01 |
| lang.opt | 1.3 KiB | 2023-Feb-20 12:01 |