Record the used flags in history, not the available ones

Louis Moureauxrequested to merge
lmoureau/ProtoDarwin:bugfix/args-in-history into master

Closes #63 (closed). Closes #64 (closed).

Edited by Louis Moureaux

Merge request reports