diff options
| author | Erich Eckner <git@eckner.net> | 2022-11-14 19:52:35 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-11-14 19:52:35 +0100 |
| commit | 7214b860d8455f558a75d29b3704f5c5ce044892 (patch) | |
| tree | b1ad0d1e52023a37b6ab5c869395871025a9179a /.gitignore | |
| parent | fe199b614f08fa1c5ceb67d8898f7bc1771e519c (diff) | |
| download | even-more-utils-7214b860d8455f558a75d29b3704f5c5ce044892.tar.xz | |
Revert "make-permanently: only wait for 30 seconds max"
This reverts commit fe199b614f08fa1c5ceb67d8898f7bc1771e519c.
This was useless anyways - we run make as long as make believes, there is something to do.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions