diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-01 10:31:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-01 10:31:17 +0200 |
| commit | b721877b85bbf9f78fd2221d8eb540373ee1e889 (patch) | |
| tree | 4c0d54f611c48dfbd38aecacb7ad4a124d96e4fc /precompiled-headers.h | |
| parent | ebb8e076eb41e712be2eff51fbde971ddddda1ee (diff) | |
| parent | 50f46836f3b1f8d45a3939611637041b24b656c3 (diff) | |
Merge pull request #3857 from edolstra/markdown
Convert manual to Markdown
Diffstat (limited to 'precompiled-headers.h')
| -rw-r--r-- | precompiled-headers.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/precompiled-headers.h b/precompiled-headers.h index 079aa496e..f52f1cab8 100644 --- a/precompiled-headers.h +++ b/precompiled-headers.h @@ -56,3 +56,5 @@ #include <sys/wait.h> #include <termios.h> #include <unistd.h> + +#include <nlohmann/json.hpp> |