improvements for issue #42

gcontini

2019-11-10 1c18dbea1cbd759aaf42a7e78afe0d8781065a50

 src/library/os/os.c

@@ -1,6 +1,6 @@
#include "os.h"
#include "../base/logger.h"
#include "public-key.h"
#include <public_key.h>
#include <stdio.h>

#ifdef __linux__