diff options
| author | Determinant <[email protected]> | 2018-08-07 17:27:57 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-08-07 17:27:57 -0400 |
| commit | 062a1368abaa44585dcc4ea9b11e46708dbb418c (patch) | |
| tree | 6ea1955ed1c81c93ee725c650fb4335454971afb /doc/.gitignore | |
| parent | 086e37788e16ddf62c0676a223002a3ea1b6d2e0 (diff) | |
sticky pace maker seems to work
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions