diff options
| author | Blaž Hrastnik | 2022-06-06 15:19:01 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-06-06 15:23:41 +0000 |
| commit | 26dbdb70fb29bdad2e875a776b70815bf5533a34 (patch) | |
| tree | f4fe1db8fd1a0a06b83e5cb5102ccb5bf1e9ec6b /runtime/queries/dockerfile | |
| parent | 3d9923969afb56be03b87a6a1cc47c486bead66b (diff) | |
Refactor push_jump so we're not needlessly fetching doc twice
Diffstat (limited to 'runtime/queries/dockerfile')
0 files changed, 0 insertions, 0 deletions