From: Christiaan Baaij Date: Fri, 26 Jun 2009 12:45:19 +0000 (+0200) Subject: Removed 'group' - Div type family is not instanced for Decimals X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fsupport%2Ftfvec.git;a=commitdiff_plain;h=7533cdf220a6bafd6ade70b6cfba9faddb65affa;hp=7533cdf220a6bafd6ade70b6cfba9faddb65affa Removed 'group' - Div type family is not instanced for Decimals Updated 'rotr' to look like 'rotl' ---