wok view coccinella/stuff/coccinella @ rev 21645

updated orc and orc-dev (0.4.18 -> 0.4.29)
author Hans-G?nter Theisgen
date Thu May 30 08:44:12 2019 +0100 (2019-05-30)
parents
children
line source
1 #!/bin/sh
3 cd /usr/share/coccinella && {
4 wish8.5 ./Coccinella.tcl "$@"
5 cd -
6 }