This repository has been archived on 2024-01-04. You can view files and clone it, but cannot push or open issues or pull requests.

Sandro Santilli 44827698e2 Reword the reinit_missing_repos message to be clear about what it does (#1047) ... I was confused by current wording, which seemed to imply that *records* would be initialized, while instead the function initializes the *git repositories* instead, where missing but referenced.		2017-02-25 11:12:17 +08:00
..
gitignore	Bindata is optional and over-writable on restart (#354)	2016-12-22 19:12:23 +01:00
label
license
locale	Reword the reinit_missing_repos message to be clear about what it does (#1047)	2017-02-25 11:12:17 +08:00
readme	Bindata is optional and over-writable on restart (#354)	2016-12-22 19:12:23 +01:00