Skip to content

Commit

Permalink
Remove (#31): remove accidentally commited auto-generated files
Browse files Browse the repository at this point in the history
  • Loading branch information
kitsudaiki committed Feb 4, 2023
1 parent c2e6601 commit e758107
Show file tree
Hide file tree
Showing 7 changed files with 2 additions and 7,442 deletions.
3 changes: 2 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,5 @@ site
docs/drawio-exporter
gitIdentityChange.sh
*.pro.user

*.pb.cc
*.pb.h

This file was deleted.

Loading

0 comments on commit e758107

Please sign in to comment.