diff options
| author | Determinant <[email protected]> | 2019-07-04 15:13:28 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2019-07-04 15:13:28 -0400 |
| commit | 200cbbeb4471443ddf964bfd0a37849ece0efdc4 (patch) | |
| tree | 2c2fdb7119ae2818988563953e8cd64cb931a832 /doc/.gitignore | |
| parent | e6589811d58706fd957799c989e2923bfdc179c8 (diff) | |
use sticky Pacemaker in the demo
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions