diff options
author | Mattias Andrée <maandree@kth.se> | 2016-07-11 16:49:36 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2016-07-11 16:49:36 +0200 |
commit | 5fedc38518bb9198e23ad8ee7c435b06be7b7026 (patch) | |
tree | 04bf17acb1547f7f035202e201e5a9afe6e295cd /.gitignore | |
parent | Close file descriptors (diff) | |
download | coopgammad-5fedc38518bb9198e23ad8ee7c435b06be7b7026.tar.gz coopgammad-5fedc38518bb9198e23ad8ee7c435b06be7b7026.tar.bz2 coopgammad-5fedc38518bb9198e23ad8ee7c435b06be7b7026.tar.xz |
Do not require /proc
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions