Matthias Sohn bd5942a206 Document options in core section supported by JGit ... Change-Id: I25af04112cf219405718b5c3e8e103156fb30fa5		2020-10-26 10:54:12 -04:00
..
technical	Documentation/technical/reftable: improve repo layout	2020-02-11 11:52:35 +01:00
config-options.md	Document options in core section supported by JGit	2020-10-26 10:54:12 -04:00