search

boogie-org / boogie-friends

Tools for interacting with Boogie
46 stars 13 forks source link

Make filename optional in case of missing location #19

Closed wilcoxjay closed 7 years ago

wilcoxjay commented 7 years ago

See #18 for discussion.