summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorManos Pitsidianakis <el13635@mail.ntua.gr>2020-11-04 19:05:50 +0200
committerManos Pitsidianakis <el13635@mail.ntua.gr>2020-11-04 19:05:50 +0200
commit3f76beef1faed6dbe86e8dfc41bc7325ed7e0286 (patch)
tree9607a3cfc6dc164a7d874e4e8f2f25b982bc76fb /.gitignore
parent2f882127dddbdff6d714f38a66fcf48b2ce460cb (diff)
Add error message in case of missing procfs
Closes #11
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions