wok log xv/receipt

age author description
2013-04-13 Pascal Bellard Add EXTRA_SOURCE_FILES variable to track sources files for the mirrors
2011-11-03 Pascal Bellard Add from wok-undigest: xbindkeys xfig xget xtel xv