-
Franco Fichtner authored
If there is not enough space in /tmp, it's really nothing we can do about here. This is not an essential file. (cherry picked from commit 123ed735)
4eb29b22
| Name |
Last commit
|
Last update |
|---|---|---|
| Mk | ||
| contrib | ||
| scripts | ||
| src | ||
| work | ||
| +POST_INSTALL | ||
| +PRE_DEINSTALL | ||
| .editorconfig | ||
| .gitignore | ||
| CONTRIBUTING.md | ||
| Makefile | ||
| README.md |