diff --git a/.gitignore b/.gitignore index acf5909b93b7ce57e3334011b5139720fc7d6cf3..e804dcb5b0e6bed8c6dc0c8d40b42537a7513742 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ obj-*/ build/ +*.dump