Skip to content

Commit

Permalink
Update download link (#13)
Browse files Browse the repository at this point in the history
Fixes #12

I also add .gitignore to stop tracking IDE files.
  • Loading branch information
ilevkivskyi committed Jun 25, 2018
1 parent 9910195 commit a4231fb
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 21 deletions.
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.idea
mypy-plugin/.idea
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ by various flags and config settings.

The plugin requires [mypy](https://github.com/python/mypy) to be installed.

1. Download [mypy-plugin/mypy-plugin.jar](https://github.com/dropbox/mypy-PyCharm-plugin/blob/master/mypy-plugin/mypy-plugin.jar)
1. Download [mypy-plugin/mypy-plugin.jar](https://github.com/dropbox/mypy-PyCharm-plugin/blob/master/mypy-plugin/mypy-plugin.jar?raw=true)
2. In PyCharm go to Preferences -> Plugins -> Install plugins from disc
-> Select downloaded file -> Restart PyCharm when prompted.
3. After restart you should find the plugin in View -> Tool windows
Expand Down
26 changes: 6 additions & 20 deletions mypy-plugin/.idea/workspace.xml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit a4231fb

Please sign in to comment.