remove redundant port/*/.gitignore; cleanup others

This commit is contained in:
Dan Halbert 2022-10-01 11:52:36 -04:00
parent 7eaeca4eb3
commit 7bb90dbf45
8 changed files with 1 additions and 20 deletions

View File

@ -1 +0,0 @@
build-*/

View File

@ -1 +0,0 @@
build-*/

View File

@ -1 +0,0 @@
build-*/

View File

@ -1 +0,0 @@
build-*/

View File

@ -1,9 +1,2 @@
# Old Nordic soft devices that don't allow redistribution
#########################################################
drivers/bluetooth/s132_nrf52_2.0.1/
# Softdevice .hex files that should be preserved
!drivers/bluetooth/*/*.hex
# Build files
#####################
build-*/

View File

@ -1 +0,0 @@
build-*/

View File

@ -1,9 +1,3 @@
# Build files
#####################
build-*/
# Reference files
#####################
ref/
.gdb_history

View File

@ -1,4 +1,3 @@
micropython
micropython-*
*.py
*.gcov