| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .als.json | 66 | logplain |
| -rw-r--r-- | .editorconfig | 440 | logplain |
| -rw-r--r-- | .gitignore | 1059 | logplain |
| -rw-r--r-- | .mailmap | 388 | logplain |
| -rw-r--r-- | COPYING | 35149 | logplain |
| -rw-r--r-- | GNUmakefile.in | 6757 | logplain |
| -rw-r--r-- | README | 3132 | logplain |
| -rwxr-xr-x | bootstrap | 4205 | logplain |
| -rw-r--r-- | configure.ac | 7921 | logplain |
| d--------- | docs | 77 | logplain |
| d--------- | gprconfig | 88 | logplain |
| -rw-r--r-- | ironclad.gpr.in | 5298 | logplain |
| -rw-r--r-- | rts.gpr.in | 2101 | logplain |
| d--------- | source | 601 | logplain |
| -rwxr-xr-x | version.sh | 1206 | logplain |
 |
index : ironclad.git | |
| ironclad.git |
| summaryrefslogtreecommitdiff |