From 291a9d9a7fd919dbd7a8b2d03e511c1f45cdb663 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 9 Jul 2016 00:36:37 +0200 Subject: [PATCH] tags --- _tags | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_tags b/_tags index 11f07cc2..ff6e13dc 100644 --- a/_tags +++ b/_tags @@ -2,7 +2,7 @@ true: color(always) # optimization options -true: optimize(3), unbox_closures, unbox_closures_factor(20) +true: optimize(3), bin_annot, unbox_closures, unbox_closures_factor(20) # Include paths : include