diff options
| author | erdgeist <erdgeist@bauklotz.fritz.box> | 2018-04-16 16:08:23 +0200 |
|---|---|---|
| committer | erdgeist <erdgeist@bauklotz.fritz.box> | 2018-04-16 16:08:23 +0200 |
| commit | 800008e018fe6160f7e88d939904c41d185fa9c1 (patch) | |
| tree | 939bae028238fed8737c6ab062f5e1f065d05d66 /.indent.pro | |
| parent | fd0cea2ce5b43f04e9d2abcecc2a1e6b8bb95c73 (diff) | |
Make pitch factor global option
Diffstat (limited to '.indent.pro')
0 files changed, 0 insertions, 0 deletions