Skip to content

Commit

Permalink
Don't display signatures by default
Browse files Browse the repository at this point in the history
  • Loading branch information
lukewagner committed Aug 19, 2015
1 parent 5ec6833 commit a3bd427
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ml-proto/src/flags.ml
Original file line number Diff line number Diff line change
Expand Up @@ -7,5 +7,5 @@ let version = "0.1"

let interactive = ref false
let trace = ref false
let print_sig = ref true
let print_sig = ref false
let dry = ref false

0 comments on commit a3bd427

Please sign in to comment.