3 Commits (37f86c353f66e812b8ac56a9bcb3e42342dc07fa)

Author SHA1 Message Date
  Georgi Chorbadzhiyski 5e4e088835 Remove $Id$ lines. They are useless in git. 13 years ago
  Jean-Paul Saman 4a47068520 Update INSTALL documentation with information about 'make install' 14 years ago
  Christophe Massiot 968b0ea049 * Initial import. 14 years ago