| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 13 | logplain |
| -rw-r--r-- | dejagnu.texi | 205147 | logplain |
| -rw-r--r-- | dejagnu.xml | 18265 | logplain |
| -rw-r--r-- | legal.xml | 3672 | logplain |
| -rw-r--r-- | ref.xml | 156036 | logplain |
| -rw-r--r-- | runtest.1 | 3646 | logplain |
| -rw-r--r-- | user.xml | 120816 | logplain |
 |
index : riscv-gnu-toolchain/dejagnu.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |