debian/patches/series

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