diff --git a/.gitignore b/.gitignore index a97bc3ac4456f1b5f467fcae7122ba79c93e3033..aa319dbccdc0618d38436e329b4b53b7ac261df7 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,9 @@ x.ps \#*\# .\#* auto-save-list +public_html +*.idv +*.lg +*.tmp +*.xref +*.log