diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-05-04 22:40:02 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-05-04 22:40:02 +0200 |
| commit | e9f10beed1a30fe80b315a9de4c4c2ab11527db8 (patch) | |
| tree | bba461ed7f8409aed6f667bdc79cec8c947fd01a | |
| parent | 3ebfbecdd187002569257f7cb183bf9e0b39af1e (diff) | |
precompiled-headers.h: Don't include our own headers
| -rw-r--r-- | precompiled-headers.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/precompiled-headers.h b/precompiled-headers.h index e0d885b23..079aa496e 100644 --- a/precompiled-headers.h +++ b/precompiled-headers.h @@ -56,6 +56,3 @@ #include <sys/wait.h> #include <termios.h> #include <unistd.h> - -#include "util.hh" -#include "args.hh" |