upstream/ipython Files · mypy.ini · RhodeCode Free Hosting

RhodeCode Free Hosting

- This repo
- ?
- Use '/' key to quickly access this field. - Enter a name of repository, or repository group for quick search. - Prefix query to allow special search: user:admin, to search for usernames, always global user_group:devops, to search for user groups, always global pr:303, to search for pull request number, title, or description, always global commit:efced4, to search for commits, scoped to repositories or groups file:models.py, to search for file paths, scoped to repositories or groups For advanced full text search visit: repository search
Home
Public journal
Gists
Sign in

upstream » ipython

RSS

Clone from https://github.com/ipython/ipython.git

Merge pull request from minrk/shell-system...

Merge pull request from minrk/shell-system use $SHELL in system_piped

Matthias Bussonnier - - Load All Authors

File last commit:

r25705:ad14ee33


                r25797:9da09743

Download file

             mypy.ini
        
                    4 lines
            
             | 82 B
            
                | text/x-ini
            
             |
                IniLexer
            
             / mypy.ini
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      [mypy]

      python_version = 3.6

      ignore_missing_imports = True

      follow_imports = silent

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				[mypy]
				python_version = 3.6
				ignore_missing_imports = True
				follow_imports = silent