Emmanuel Gil Peyrot c737d2721f doc: Rename keys into keyboard shortcuts, to be more easily discoverable		2019-04-21 14:15:33 +02:00
..
source	doc: Rename keys into keyboard shortcuts, to be more easily discoverable	2019-04-21 14:15:33 +02:00
stub
Makefile