Lúcás Meier e06ad80d49 Fix typo about De Morgan's law assist		2019-10-04 12:45:22 +02:00
..
dev	Merge #1663	2019-08-07 18:31:37 +00:00
user	Fix typo about De Morgan's law assist	2019-10-04 12:45:22 +02:00