3 Commits (b089bde04e8fea773ee0b19978eb9a3a44a6af92)

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. 15 years ago