Skip to content

Changed scripts so they are explicitly interpreted by bash and not the default shell#38

Merged
fniephaus merged 1 commit intoOpenSmalltalk:Cogfrom lauraperezcerrato:CogAug 17, 2016

Commits

Commits on Aug 17, 2016