Commit History

Author SHA1 Message Date
  JINMEI Tatuya e3e59cf1f2 cleanup: removed $Id$, which is useless now that we've migrated to git. 14 years ago
  JINMEI Tatuya fdf8590824 use std::list::splice instead of erase + push_front. (trac #290). 15 years ago
  Evan Hunt d264ba4813 Oops: Forgot to explicitly add some files in the recent merge. 15 years ago