Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-11-14 | Revert "make-permanently: only wait for 30 seconds max" | Erich Eckner | |
This reverts commit fe199b614f08fa1c5ceb67d8898f7bc1771e519c. This was useless anyways - we run make as long as make believes, there is something to do. | |||
2022-11-14 | make-permanently: only wait for 30 seconds max | Erich Eckner | |
2022-11-14 | make-permanently: run as long as needed | Erich Eckner | |
2022-11-14 | chmod +x repariert | Erich Eckner | |
2022-01-08 | neue Version: 0.2v0.2 | Erich Eckner | |
2022-01-08 | add new names to .gitignore | Erich Eckner | |
2022-01-08 | fix names | Erich Eckner | |
2022-01-08 | neue Version: 0.1v0.1 | Erich Eckner | |
2022-01-08 | add some useful git commands | Erich Eckner | |
2021-03-29 | initial commit: make-permanently, pdiff, screen-rv0.0 | Erich Eckner | |