diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-05 14:28:52 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-05 14:28:52 -0500 |
commit | 03e330b938f04eab6ad9123ee7b50b34a0a00eb6 (patch) | |
tree | c3fb4c172dbb17d330842e4144fe429dc3ae9705 /src/prop/README.minisat | |
parent | ef0e079d85b18fd36b4d90be15b465e2316a38c9 (diff) |
dos2unix conversion for a number of files; this avoids spurious conflicts when merging to master
Diffstat (limited to 'src/prop/README.minisat')
0 files changed, 0 insertions, 0 deletions