debian/patches/series

   1 101_ignore-mising-keys.diff
   2 102_ignore-bad-match.diff
   3 201_build-config.diff
   4 205_ion-lock.diff
   5 206_use-x-terminal-emulator.diff
   6 209_use-etc-default.diff
   7 210_use-cfg_debian_ext.diff
   8 211_add-debian-menu.diff
   9 212_suggest-ion3-doc.diff
  10 213_unkludge-docker.diff