(Arne Babenhauserheide)
2015-07-28: add executable bit for examples/evolve.w add executable bit for examples/evolve.w
diff --git a/examples/evolve.w b/examples/evolve.w old mode 100644 new mode 100755
add executable bit for examples/evolve.w
diff --git a/examples/evolve.w b/examples/evolve.w old mode 100644 new mode 100755