Remove accidentally added config.h

SVF-tools · Dec 10, 2022 · ea142cd · ea142cd
1 parent 86a0018
commit ea142cd
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/include/Util/config.h b/include/Util/config.h