]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c12ed1) | patch
advice on josh pushing
authorRalf Jung <post@ralfj.de>
Sun, 27 Nov 2022 19:47:49 +0000 (20:47 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 27 Nov 2022 19:52:17 +0000 (20:52 +0100)
commit6d1e99e96e632c193430fe073958700d451bb703
treea3a572d4f5f29cd88320e3e205a1be4feeb50b71tree | snapshot
parent7c12ed1d5dc6059972b06fb7257a239f3a33ec88commit | diff
advice on josh pushing
src/tools/miri/CONTRIBUTING.md diff | blob | history
Empowering everyone to build reliable and efficient software.