]> mj.ucw.cz Git - teatimer.git/search
projects / teatimer.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add option to set default name
2021-08-13 Jiri KalvodaAdd option to set default name
 commit | commitdiff | tree
2021-08-13 Jiri KalvodaAdd expansions in cmd
 commit | commitdiff | tree
2021-07-15 Jiri KalvodaAdd name box
 commit | commitdiff | tree
A trivial tea timer