diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2018-01-17 10:59:13 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2018-01-17 10:59:13 -0500 |
| commit | 8762209b3b7aeeaee52d11624eef2a676392c72a (patch) | |
| tree | d04f70c5a027a79ea1bfa37827981e229a894d3a /coq/coq-indent.el | |
| parent | ca601291ddf22739847c629f2d687ab3f68b4786 (diff) | |
Disable ASLR during Travis builds
Diffstat (limited to 'coq/coq-indent.el')
0 files changed, 0 insertions, 0 deletions