Skip to content

Minor clean-up

Latest
Compare
Choose a tag to compare
@tomaskrehlik tomaskrehlik released this 18 Feb 09:15
· 5 commits to master since this release
  • Removed the old platform specific scripts that are no longer used.
  • Removed the comment regexp as Lint.jl provides no such feature.