diff options
| author | David B. Lamkins <dlamkins@galois.com> | 2015-08-09 09:39:56 +0200 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2015-08-09 09:39:56 +0200 |
| commit | a078796d29a9768dfc646f7d884cc90277e9c8cb (patch) | |
| tree | 9bd8e83ee48d4f30c8b32da5638f9627c0fd17d3 /editor.c | |
| parent | 56d2dc51d0725a58f4b9ac67d2374e69cf8b8005 (diff) | |
| download | vis-a078796d29a9768dfc646f7d884cc90277e9c8cb.tar.gz vis-a078796d29a9768dfc646f7d884cc90277e9c8cb.tar.xz | |
vis: cancelling wildcard open causes crash
Closes #65
Diffstat (limited to 'editor.c')
0 files changed, 0 insertions, 0 deletions