| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| brigfrontend/ | - | 2023-Feb-20 05:01 |
| CVS/ | - | 2023-Feb-20 05:01 |
| lang.opt | 1336 | 2023-Feb-20 05:01 |
| lang-specs.h | 1083 | 2023-Feb-20 05:01 |
| gccbrig.texi | 4823 | 2023-Feb-20 05:01 |
| config-lang.in | 1472 | 2023-Feb-20 05:01 |
| brigspec.c | 3773 | 2023-Feb-20 05:01 |
| brig-lang.c | 28209 | 2023-Feb-20 05:01 |
| brig-c.h | 2182 | 2023-Feb-20 05:01 |
| brig-builtins.h | 3768 | 2023-Feb-20 05:01 |
| Make-lang.in | 7583 | 2023-Feb-20 05:01 |