diff options
| author | Michael Soegtrop | 2019-08-25 10:31:38 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2019-08-25 14:07:22 +0200 |
| commit | 0ee40cbbf7df4c25a89920c4781c0bf23728c0cd (patch) | |
| tree | 0f10fffba5e4c5615cd45ac2ee3a16e5b34ecfb4 /engine/logic_monad.ml | |
| parent | ce235f3d84faef3f4cc5d00373a50e03031541e5 (diff) | |
Changed chmod -w to chmod a-w to avoid error on cygwin
Diffstat (limited to 'engine/logic_monad.ml')
0 files changed, 0 insertions, 0 deletions