about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2015-06-15 18:11:32 +0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2015-06-15 18:11:32 +0200
commit19ffa212af8763e84e09e1e56fba99e1d7124d84 (patch)
treef205e5a65dbea20a0bc79fa45ef75f6c577dffdf /.gitignore
parentc738b309eea83669bbd590f7293db5d725233193 (diff)
types.uniq types.int -> types.int
types.int already implies uniqueness.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions