]> git.ralfj.de Git - web.git/commit
projects / web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fda2235) | patch
read_ref doe not need to mutate
authorRalf Jung <post@ralfj.de>
Sun, 10 Mar 2019 19:29:45 +0000 (20:29 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 10 Mar 2019 19:29:47 +0000 (20:29 +0100)
commite652538d15d48f5c051f1637d63d6956acc66834
tree59720a9936fec06913140585e2cab90a0a20b4b7tree | snapshot
parentfda2235470848f63a605bbe271e044847eeb0ef6commit | diff
read_ref doe not need to mutate

thanks to @amosonn!
ralf/_posts/2018-04-05-a-formal-look-at-pinning.md diff | blob | history
sources for my website