You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Michael Peter Christen 413eeefed4 added character set detection library from ... http://www-archive.mozilla.org/projects/intl/chardet.html		10 years ago
..
blob	Replaced all fixed thread pools with cached thread pools. The cached	10 years ago
data	changed method to write the citation index: do not catch up references	11 years ago
index	added new web page snapshot infrastructure which will lead to the	10 years ago
io	fix seek error for 0 file size records file	11 years ago
logging	one more Thread Dump fix for new bootstrap css style	11 years ago
rwi	changed method to write the citation index: do not catch up references	11 years ago
table	added missing class for latest changes	10 years ago
util	added character set detection library from	10 years ago
workflow	set Busy- and Blocking-Threads to daemon mode (they will now not prevent	10 years ago