rename ws.dis to ws-dis so distclean stops killing it.

This commit is contained in:
Mariano Alvira 2009-04-13 18:39:59 -04:00
parent 4998a75ada
commit 3c72e35ed0

44867
doc/ws-dis Normal file

File diff suppressed because it is too large Load Diff