3 Commits

Author	SHA1	Message	Date
arvidn	f85c01cc0a	merged RC_1_1 into master	2017-06-21 00:51:43 -04:00
arvidn	f04d729d43	enforce spell checking on CI	2017-06-18 15:51:51 -04:00
arvidn	53cbb607d0	first steps towards spell checking documentation	2017-06-17 22:59:57 -04:00