Ollivier Robert 4c49e2a210 - remove trace of libkvm. It is not used at all. ... - reorganise the Makefiles: the order of variables was not the usual one. Explained gently by: bde		2000-01-01 23:58:01 +00:00
..
Makefile	- remove trace of libkvm. It is not used at all.	2000-01-01 23:58:01 +00:00