rename pins extension
authorDobrica Pavlinusic <dpavlin@rot13.org>
Fri, 11 May 2018 07:39:15 +0000 (09:39 +0200)
committerDobrica Pavlinusic <dpavlin@rot13.org>
Fri, 11 May 2018 07:39:15 +0000 (09:39 +0200)
commit854b4853d1ba9847c8ff86a88183fca5fe9f23ad
treebf29d4a8146bfcf7448c48693a1942eb47a3d6bd
parent6c6007906a530e7766ff5feab8e7fc535564f3b4
rename pins extension
pins/Raspberry Pi,txt [deleted file]
pins/Raspberry Pi.txt [new file with mode: 0644]