Skip to content

Commit

Permalink
remove retopt
Browse files Browse the repository at this point in the history 
It still segfaults under certain conditions. Let's keep it simple and working.
  • Loading branch information
@mwarning
mwarning committed May 19, 2018
1 parent 3e101f2 commit b466114
Show file tree
Hide file tree
Showing 2 changed files with 216 additions and 205 deletions.
Loading

0 comments on commit b466114

Please sign in to comment.