diff options
| author | fpi | 2020-08-05 12:06:56 +0200 |
|---|---|---|
| committer | fpi | 2020-08-05 12:07:49 +0200 |
| commit | cc23eaf639fbf2c8d8d05e223f15701a82135ee5 (patch) | |
| tree | 5ea872a2786c11744d6b2a078464efcd5714e9b1 /.gitignore | |
| parent | Rebind shell-pop (diff) | |
Add more time budget definitions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions