Remove extra words in maxima rules
authorBenjamin Auder <benjamin.auder@somewhere>
Wed, 8 Apr 2020 21:49:15 +0000 (23:49 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Wed, 8 Apr 2020 21:49:15 +0000 (23:49 +0200)

No differences found