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