.hgignore@d2a98dde7ecc
.hgignore
Tue, 05 Mar 2013 14:12:07 +0000
- author
- mcimadamore
- date
- Tue, 05 Mar 2013 14:12:07 +0000
- changeset 1613
- d2a98dde7ecc
- parent 1223
-
f3743b82945e
- child 2525
-
2eb010b6cb22
- permissions
- -rw-r--r--
8009227: Certain diagnostics should not be deferred
Summary: Add new diagnostic flag to mark non deferrable diagnostics
Reviewed-by: jjg