diff options
| author | David B. Lamkins <dlamkins@galois.com> | 2015-10-09 10:35:02 +0200 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2015-10-09 10:35:02 +0200 |
| commit | db7c309c8bb09c5de0dcd5de9a7fab7e0e143876 (patch) | |
| tree | ce13c09365ca6801c836b1e7ada7399b1fa69729 /editor.h | |
| parent | 6550d807ccf7149286b03083590d3f1c12141a32 (diff) | |
| download | vis-db7c309c8bb09c5de0dcd5de9a7fab7e0e143876.tar.gz vis-db7c309c8bb09c5de0dcd5de9a7fab7e0e143876.tar.xz | |
text: fix usage of va_arg in text_vprintf
Closes #76
Diffstat (limited to 'editor.h')
0 files changed, 0 insertions, 0 deletions