John Beard 821faaf3c0 Format: add some formatting aliases, improve dev docs ... The aliases are easier than calling check_coding.sh manually, and we already provide an alias file for the fixes alias, so do the same for these. (cherry picked from commit 241127788e)		2019-05-23 21:29:36 +01:00
..
fixes_alias	Added a git alias to extract changelog (git changelog)	2017-11-23 10:16:20 +01:00
format_alias	Format: add some formatting aliases, improve dev docs	2019-05-23 21:29:36 +01:00