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)
commit917ed9b88816e95738ecc820ce455a8b3957b9e6
tree99d8529d6adbefc45cd780637aa7aa17ca2da780
parent2095fe9e94fc3fb9b149657f826fe2dc756ed8da
Remove extra words in maxima rules
client/src/translations/rules/Maxima/en.pug
client/src/translations/rules/Maxima/es.pug
client/src/translations/rules/Maxima/fr.pug