Remove exec/configure

* exec/configure: Remove file.
* .gitignore: Add exec/configure.
This commit is contained in:
Po Lu 2023-05-01 08:15:48 +08:00
parent 368f6f3942
commit 9a7c645dd4
2 changed files with 1 additions and 6940 deletions

1
.gitignore vendored
View file

@ -381,4 +381,5 @@ exec/deps/*
exec/autom4te.cache
exec/config.h
exec/config-mips.m4
exec/configure
exec/*.s.s

6940
exec/configure vendored

File diff suppressed because it is too large Load diff