| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 0 | logplain |
| -rw-r--r-- | 00-dist.mk | 1227 | logplain |
| -rw-r--r-- | 00-gnuconf.mk | 3582 | logplain |
| -rw-r--r-- | 00-write-ifchanged.mk | 57 | logplain |
| -rw-r--r-- | 10-std.mk | 1228 | logplain |
 |
index : packages/libretools | |
| Unnamed repository; edit this file 'description' to name the repository. | git-mirror |
| summaryrefslogtreecommitdiff |