projects / physical.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2cb1a8b) | patch
also pull before push to git
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Wed, 12 Oct 2022 08:57:10 +0000 (11:57 +0300)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Wed, 12 Oct 2022 08:57:10 +0000 (11:57 +0300)
commitf991466e29f7ea23c18c24e090ae323b213c5055
treed432a681afd7fb4aeeb5ba290dba0c3d1cc87d22tree | snapshot
parent2cb1a8b02c9d9ce949d668d9e932e4a5996e99adcommit | diff
also pull before push to git
repository handling tools/commit and push diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.