diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-12-24 00:11:54 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-12-28 09:54:01 +0000 |
| commit | 3a0f6fdd6815442c504447927fcf204118c62cb7 (patch) | |
| tree | b3555b9c6f6f485969d7ce1b891aa43c14bdc21f /configure | |
| parent | 5caccf0c9bef886b61111609f1f95937aeb5596c (diff) | |
| download | klee-3a0f6fdd6815442c504447927fcf204118c62cb7.tar.gz | |
Changed preferred permissions from 0622 to the more standard 0644.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions