diff options
| author | fpi | 2020-06-22 08:42:43 +0200 |
|---|---|---|
| committer | fpi | 2020-06-25 12:56:07 +0200 |
| commit | 5d5561cf0dc41f5b9824d6ed661fe72e3dbc79ff (patch) | |
| tree | 29a57e6053287dcf26f20cd5033b84831779acd5 /.gitignore | |
| parent | Add org-time-budgets & a Day agenda (diff) | |
Set compilation to buffer to scroll automatically
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions