Commit Graph

2 Commits

Author SHA1 Message Date
Alexander Bluhm 036ffa82e5
Use . instead of source shell command.
The source keyword is a bash extension that is not recognized by
every bourne shell.  The . command works everywhere.
2018-03-07 16:50:09 +01:00
Pierre LALET 4b160f6d24 Rename Python-version-specific executables 2017-10-03 13:02:45 +02:00