2020-frama-c/2000-range-intro.term

   1 #!/bin/bash -
   2
   3 source functions
   4
   5 # Title.
   6 export title="qemu"
   7
   8 # History.
   9 remember 'wc -l util/*.c | sort -nr | tail -20'
  10 remember 'ls -l util/range.c include/qemu/range.h'
  11
  12 pushd ~/d/qemu >/dev/null
  13 terminal
  14 popd >/dev/null