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.

micw 63c40796ef Display description of 'make this repo private' as help text, not as tooltip (#8097)		2019-09-05 11:13:51 +02:00
..
gitignore
label
license	Update Licenses (#5558)	2018-12-18 21:04:43 -05:00
locale	Display description of 'make this repo private' as help text, not as tooltip (#8097)	2019-09-05 11:13:51 +02:00
readme