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