diff options
| author | Luca Milanesio <luca.milanesio@gmail.com> | 2025-07-04 23:51:19 +0100 |
|---|---|---|
| committer | Luca Milanesio <luca.milanesio@gmail.com> | 2025-07-04 23:51:19 +0100 |
| commit | 461c6da450740f0195d13a5ed60c49a37890df08 (patch) | |
| tree | 6f916cd4fa6d3c179a12d6c07ff4b38432282cf2 /org.eclipse.jgit.pgm/src/org/eclipse/jgit/console | |
| parent | 426a6c70c38037835df6f25e01dfdf18971292ad (diff) | |
| parent | 23029d8aede6b5b9fefb408642fc23798d527067 (diff) | |
| download | jgit-master.tar.gz jgit-master.zip | |
* stable-7.3:
Lock reftable auto-refresh to ensure consistency
Change-Id: I43df38f98f0b03dec2e64d4c52257ddc3affd64f
Diffstat (limited to 'org.eclipse.jgit.pgm/src/org/eclipse/jgit/console')
0 files changed, 0 insertions, 0 deletions