diff --git a/external/.gitignore b/external/.gitignore index 896dc104..52734467 100644 --- a/external/.gitignore +++ b/external/.gitignore @@ -1,3 +1,3 @@ -toml11/* -CL/* +toml11/ +CL/