Really revert xDOT changes from 1832
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Fri, 30 Nov 2018 20:32:01 +0000 (21:32 +0100)
committerGitHub <noreply@github.com>
Fri, 30 Nov 2018 20:32:01 +0000 (21:32 +0100)
commit6c7b69108300511f4b4bece422c62a7e4ff89d87
tree28ff3af401676ad966bbcaac56db838b31785408
parent5f4c550c272f1a315a909e31df35d899b167fe47
Really revert xDOT changes from 1832

neglected to rebase #1892 on merging
kernel/mips64/KERNEL