diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2021-06-11 18:18:06 -0700 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2021-06-11 18:18:06 -0700 |
| commit | aefa926c4a01b1b80953b6d3d9ac99652315f208 (patch) | |
| tree | 06b34b0483d6789e9aca3fc961371081272a6332 /.gitignore | |
| parent | 84f74bd4faa0afde8d818807f0a12bbcebf6e3a8 (diff) | |
*Internal struggle about variable-pitch-mode*
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions