diff options
| author | JSDurand <mmemmew@gmail.com> | 2021-11-08 18:36:46 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2021-11-08 18:36:46 +0800 |
| commit | 87b6bad500702b0fcd708ee5b1d99f61a29ec7e6 (patch) | |
| tree | 5e02b7c4d235a8c1adc9e76fe3990f6f602afd29 /src/input.h | |
| parent | 9594210f02572681ed581c5197ace4c207db0917 (diff) | |
rename input to reader
Diffstat (limited to 'src/input.h')
| -rw-r--r-- | src/input.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/input.h b/src/input.h deleted file mode 100644 index 16a4ca6..0000000 --- a/src/input.h +++ /dev/null @@ -1,8 +0,0 @@ -#ifndef INPUT_H -#define INPUT_H - -#include "grammar.h" - - - -#endif |