Remove executable file attribute from last Python script.
authorRichard Kreckel <kreckel@ginac.de>
Sat, 29 Aug 2020 18:22:49 +0000 (20:22 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Sat, 29 Aug 2020 18:22:49 +0000 (20:22 +0200)
They are all invoked by ${PYTHON} and lack a shebang line since 8a4e28dc81.

ginsh/ginsh_op_help.py [changed mode: 0755->0644]

old mode 100755 (executable)
new mode 100644 (file)