| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Dom | 155 | logplain |
| -rw-r--r-- | animation.ml | 650 | logplain |
| -rw-r--r-- | arc.ml | 762 | logplain |
| -rw-r--r-- | audio.ml | 372 | logplain |
| -rw-r--r-- | config.ml | 2715 | logplain |
| -rw-r--r-- | duration.ml | 236 | logplain |
| -rw-r--r-- | main.ml | 399 | logplain |
| -rw-r--r-- | option.ml | 66 | logplain |
| -rw-r--r-- | step.ml | 1317 | logplain |
| -rw-r--r-- | string.ml | 79 | logplain |
| -rw-r--r-- | timer.ml | 3095 | logplain |
 |
index : tabata | |
| Configure and run Tabata timers. | Joris |
| aboutsummaryrefslogtreecommitdiff |