aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorBlaž Hrastnik2022-06-06 15:19:01 +0000
committerBlaž Hrastnik2022-06-06 15:23:41 +0000
commit26dbdb70fb29bdad2e875a776b70815bf5533a34 (patch)
treef4fe1db8fd1a0a06b83e5cb5102ccb5bf1e9ec6b /docs
parent3d9923969afb56be03b87a6a1cc47c486bead66b (diff)
Refactor push_jump so we're not needlessly fetching doc twice
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions