nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
360c078
d3416cf
)
Merge: modelize_property: Remove an unreachable case
author
Jean Privat
<jean@pryen.org>
Thu, 15 Jun 2017 19:43:35 +0000
(15:43 -0400)
committer
Jean Privat
<jean@pryen.org>
Thu, 15 Jun 2017 19:43:35 +0000
(15:43 -0400)
Exploit the De Morgan’s law.
Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Pull-Request: #2493
Trivial merge