wok view coccinella/stuff/coccinella @ rev 21724

updated ptxdist again (2012.03.0 -> 2019.06.0)
author Hans-G?nter Theisgen
date Wed Jun 12 15:14:06 2019 +0100 (2019-06-12)
parents
children
line source
1 #!/bin/sh
2
3 cd /usr/share/coccinella && {
4 wish8.5 ./Coccinella.tcl "$@"
5 cd -
6 }