;; This file is automatically created by diff_all_filter.pl
;; Fri Mar 27 08:02:00 2009