Commit History

Author SHA1 Message Date
  Rainer Klute d33c96be24 Documentation builder should run only after changes in the "src" and "css" subdirectories. (#774) 9 years ago
  Rainer Klute 7b7ba908f5 Documentation: fine-tuning for Ant builder 9 years ago
  Andreas Muelder 4ffe48035c Removed dependency to JRE 1.7 9 years ago
  Rainer Klute c333426c90 Documentation: Documentation builder reenabled 9 years ago