diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2015-01-30 16:31:20 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2015-01-30 16:31:20 +0000 |
commit | bcdc8b71a8ecbc7b93b46690a750c0a67a08d521 (patch) | |
tree | c6afa68d3b21e3971a820972b4d61963e11690fe /generic | |
parent | 0466895d8f2b73b45be72b30d7974f6978c3f36f (diff) |
Set double hit electric terminator back. Disabled by default.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions