Graham Christensen e811aa8d65 docs: document deprecated aliases ... (cherry picked from commit 0cd863197b)		2018-09-19 22:23:05 +02:00
..
manual	docs: document deprecated aliases	2018-09-19 22:23:05 +02:00