overworked examples

2016-01-26 20:07:03 +01:00 · 2016-01-26 20:07:03 +01:00 · 2468631dc9
commit 2468631dc9
parent 707732a53e
41 changed files with 91 additions and 16 deletions
--- a/doc/examples/is_discarded.output
+++ b/doc/examples/is_discarded.output
@ -5,3 +5,4 @@ false
 false
 false
 false
+false