wok diff coccinella/stuff/coccinella @ rev 17344

Add symlinks.
author Aleksej Bobylev <al.bobylev@gmail.com>
date Thu Nov 06 15:27:15 2014 +0200 (2014-11-06)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/coccinella/stuff/coccinella	Thu Nov 06 15:27:15 2014 +0200
     1.3 @@ -0,0 +1,6 @@
     1.4 +#!/bin/sh
     1.5 +
     1.6 +cd /usr/share/coccinella && {
     1.7 +	wish8.5 ./Coccinella.tcl "$@"
     1.8 +	cd -
     1.9 +}