]> mj.ucw.cz Git - teatimer.git/commit
projects / teatimer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94c6451) | patch
Add an option to kill the program we ran
authorMartin Mares <mj@ucw.cz>
Fri, 21 Jan 2022 20:51:01 +0000 (21:51 +0100)
committerMartin Mares <mj@ucw.cz>
Fri, 21 Jan 2022 20:51:17 +0000 (21:51 +0100)
commit7a016a787864a3291a5c9ff0b42cbb179459a4fc
treeaea0668edbdaacf0fad6487a0f4c7299bbecebf3tree | snapshot
parent94c64512b8640805c74887453d28ce0f270fae2dcommit | diff
Add an option to kill the program we ran

Patch by Jiri Kalvoda, cleaned up by me.
NEWS diff | blob | history
teatimer.c diff | blob | history
A trivial tea timer