3 Commits (c07cc9627fea6364b7c326fa6d0b95f7f8f6af53)

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