From d258688e4798f471881277ffbbc1c74751abfbef Mon Sep 17 00:00:00 2001 From: Mariano Alvira Date: Wed, 8 Apr 2009 19:20:07 -0400 Subject: [PATCH] moved ws.dis to a safer place (away from distclean) --- ws.dis => doc/ws.dis | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename ws.dis => doc/ws.dis (100%) diff --git a/ws.dis b/doc/ws.dis similarity index 100% rename from ws.dis rename to doc/ws.dis