.hgignore@7755f47542a0
.hgignore
Tue, 26 Oct 2010 14:29:48 -0700
- author
- jjg
- date
- Tue, 26 Oct 2010 14:29:48 -0700
- changeset 724
- 7755f47542a0
- parent 446
-
381399872958
- child 976
-
c2e7291e98e7
- permissions
- -rw-r--r--
6949587: rename "DisjointType" to "DisjunctType"
Reviewed-by: mcimadamore