Hugo Trippaers 0cc4636a2d Summary: packaging updates ... Empty paths lead to unpleasant surpises later on Use basename to find the pid file when stopping tomcat		2013-02-05 15:06:08 +01:00
..
centos63	Summary: packaging updates	2013-02-05 15:06:08 +01:00
debian	debian: Initial work to get the Debian packaging working again	2012-11-06 16:19:07 +01:00