diff options
| author | ng0 <ng0@infotropique.org> | 2017-07-29 17:26:04 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-31 17:06:45 +0200 |
| commit | 54727850c39e7e66b4baa79b1437e55e3b4bb46f (patch) | |
| tree | 750b446866e8fcdfcbf759a5fda1622ddc2e1dca /TODO | |
| parent | ee217402f7bf4b9fd49250650cf94d882a5e1a23 (diff) | |
| download | patches-54727850c39e7e66b4baa79b1437e55e3b4bb46f.tar patches-54727850c39e7e66b4baa79b1437e55e3b4bb46f.tar.gz | |
gnu: tor: Remove '--enable-expensive-hardening' option.
* gnu/packages/tor.scm (tor)[arguments]: Remove '--enable-expensive-hardening' option.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions