diff options
author | jacopograndi <48675416+jacopograndi@users.noreply.github.com> | 2021-03-02 10:31:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-02 10:31:56 +0100 |
commit | d49a901188d056aee335b3a1f9415dc98fa87b70 (patch) | |
tree | 00396572a081ea84be8378c03fe7c2dc4fbdd6f9 /CMakeFiles/Arena.dir/flags.make | |
parent | e0099c6c2235f44dffe54c5e6db5c4b039838481 (diff) |
Delete CMakeFiles directory
Diffstat (limited to 'CMakeFiles/Arena.dir/flags.make')
-rw-r--r-- | CMakeFiles/Arena.dir/flags.make | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/CMakeFiles/Arena.dir/flags.make b/CMakeFiles/Arena.dir/flags.make deleted file mode 100644 index 27175d5..0000000 --- a/CMakeFiles/Arena.dir/flags.make +++ /dev/null @@ -1,10 +0,0 @@ -# CMAKE generated file: DO NOT EDIT! -# Generated by "MinGW Makefiles" Generator, CMake Version 3.18 - -# compile C with C:/MinGW64/bin/gcc.exe -C_DEFINES = - -C_INCLUDES = @CMakeFiles/Arena.dir/includes_C.rsp - -C_FLAGS = --std=c11 - |