1. f4ae079 Make --quiet a little less quiet by Gilles Peskine · 5 years ago
  2. e1d4f9d Error out if run from the wrong directory by Gilles Peskine · 5 years ago
  3. 369f190 Add --quiet option to suppress demos' output by Gilles Peskine · 5 years ago
  4. e721827 Minor readability improvements by Gilles Peskine · 5 years ago
  5. 2c8bbce Run demo scripts and check that they work by Gilles Peskine · 6 years ago