diff core.js @ 530:50a1c7c0caeb Dev_main

Made pythonServer.py executable
author Giulio Moro <giuliomoro@yahoo.it>
date Sat, 20 Feb 2016 14:18:32 +0000
parents 0f758a5efa95
children a95d323a911e
line wrap: on
line diff