diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-11-04 19:05:50 +0200 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-11-04 19:05:50 +0200 |
commit | 3f76beef1faed6dbe86e8dfc41bc7325ed7e0286 (patch) | |
tree | 9607a3cfc6dc164a7d874e4e8f2f25b982bc76fb /.gitignore | |
parent | 2f882127dddbdff6d714f38a66fcf48b2ce460cb (diff) |
Add error message in case of missing procfs
Closes #11
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions