Skip to content

Commit

Permalink
Fix .gitignore
Browse files Browse the repository at this point in the history
Follow-up to #11641.
  • Loading branch information
shindere committed Oct 26, 2022
1 parent 42c3b86 commit 21f9993
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -308,7 +308,6 @@ META
/tools/make_opcodes.ml
/tools/ocamltex
/tools/eventlog_metadata
/tools/lintapidiff
/tools/lintapidiff.opt

/toplevel/byte/topeval.mli
Expand Down

0 comments on commit 21f9993

Please sign in to comment.