diff options
| author | Florian Klink <flokli@flokli.de> | 2019-11-25T16·42+0100 |
|---|---|---|
| committer | Florian Klink <flokli@flokli.de> | 2019-11-25T16·42+0100 |
| commit | ad27d963f2d9bbe7876077b849af2d8bc2f9959d (patch) | |
| tree | d63a4a9fefb628f783c35fbf505a91146a32e091 /.envrc | |
| parent | 266c27d1d01d5c0dd8239f7b57c7db2603939cd8 (diff) | |
submitqueue: remove updateHEAD function
This is already done during the Run() function
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions