Skip to content

diff: use rev instead of ref#3299

Merged
efiop merged 1 commit intotreeverse:masterfrom
efiop:ref_rev
Feb 10, 2020
Merged

diff: use `rev` instead of `ref`#3299
efiop merged 1 commit intotreeverse:masterfrom
efiop:ref_rev

Commits

Commits on Feb 10, 2020