Eelco Dolstra 3c4f8c9175 List deprecated option aliases in the docs		2020-08-20 11:13:17 +02:00
..
manual	List deprecated option aliases in the docs	2020-08-20 11:13:17 +02:00