# filelist

dirname: /usr/share/doc/ipcmd
filetypes: ffffffff
filenames:
  CHANGES/LICENSE/README/TODO/barrier.sh/cigarette-smokers.ksh/dining-philosophers.ksh/producer-consumer.sh


