removing ps, does not work
authorChristian Grothoff <christian@grothoff.org>
Fri, 12 Mar 2010 15:22:30 +0000 (15:22 +0000)
committerChristian Grothoff <christian@grothoff.org>
Fri, 12 Mar 2010 15:22:30 +0000 (15:22 +0000)
commit81319e2d948d9e36e88078e92759a9f2c1749023
treeb59b4081394a4bf7f803e551d0c4dacc854c4e4e
parent06fc9ff449ba2b6c83b98afa170a3b96d7e2a7ef
removing ps, does not work
src/util/Makefile.am
src/util/prep_script.sh [deleted file]