diff options
author | JSDurand <mmemmew@gmail.com> | 2023-07-22 11:37:54 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-07-22 11:37:54 +0800 |
commit | 9d80a43a469dd474691c95e9899db09449076df7 (patch) | |
tree | eb61f44c3b5aff9b53071ff55fd061a8c413d537 /Makefile.am | |
parent | ca1a2fa607a3ce95d8cf68f1a7a481d62b0ecf72 (diff) |
Add some auxiliary data.
Try to fix some minor issues.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index ec980e8..3336e91 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,4 +1,4 @@ -SUBDIRS=graph nfa grammar graph_macro chain +SUBDIRS=graph nfa grammar graph_macro chain src .PHONY: rs |