Administrator approval is now required for registering new accounts. If you are registering a new account, and are external to the University, please ask the repository owner to contact ServiceLine to request your account be approved. Repository owners must include the newly registered email address, and specific repository in the request for approval.

Verified Commit 2c95b429 authored by Minyong Li's avatar Minyong Li 💬
Browse files

.gitignore: add more

parent 1b84b48a
...@@ -6,8 +6,10 @@ ...@@ -6,8 +6,10 @@
db/ db/
incremental_db/ incremental_db/
output_files/ output_files/
project/ project/
target/ target/
*.v *.v
*.fir *.fir
*.anno.json *.anno.json
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment