tree 747b4a71bd30d9ec2b42e2592eea8a1b0e2c9f69
parent 1f7f206c02007ea08ddaa09e27f872929cd8f4ea
author Jeff Thompson <jefft0@gmail.com> 1381964648 -0700
committer Jeff Thompson <jefft0@gmail.com> 1381964648 -0700

code style: der.cpp: fix indentation after converting tabs.