diff options
author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2023-03-08 10:09:35 +0100 |
---|---|---|
committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2023-03-08 10:09:35 +0100 |
commit | 4aa55af414346df8f65be823ba63004339679a31 (patch) | |
tree | 361a6c586bf88d5083ae5da34ea777c5dbc489f8 /if_amp/.gitignore | |
parent | 14575d2dede72386c2aad151c8d3df9af46a8939 (diff) | |
download | picardy-4aa55af414346df8f65be823ba63004339679a31.tar.gz picardy-4aa55af414346df8f65be823ba63004339679a31.tar.bz2 picardy-4aa55af414346df8f65be823ba63004339679a31.zip |
Make board a bit smaller
Diffstat (limited to 'if_amp/.gitignore')
0 files changed, 0 insertions, 0 deletions