footprints: remove button directory because the same content was

already in pushbutton directory
pull/3/head
Emard 7 years ago
parent 75d343620c
commit 7111716526

File diff suppressed because it is too large Load Diff
Loading…
Cancel
Save