also pull before push to git
[physical.git] / repository handling tools / commit and push
2022-10-12 Svjatoslav Agejenkoalso pull before push to git
2021-04-11 Svjatoslav AgejenkoAdded round pincers
2020-08-02 Svjatoslav Agejenkoadded bottom stand
2020-03-20 Svjatoslav AgejenkoChanged license to CC0