mirror of
https://github.com/github/gitignore
synced 2024-11-22 19:54:22 +01:00
Merge pull request #835 from ggirou/master
Move editor specific files into a new DartEditor.gitignore
This commit is contained in:
commit
51a1221f50
@ -1,7 +1,5 @@
|
||||
// Don’t commit the following files and directories created by pub, Dart Editor, and dart2js
|
||||
// Don’t commit the following files and directories created by pub and dart2js
|
||||
packages/
|
||||
.project
|
||||
.buildlog
|
||||
*.js_
|
||||
*.js.deps
|
||||
*.js.map
|
||||
@ -11,6 +9,3 @@ pubspec.lock
|
||||
|
||||
// Avoid committing generated JavaScript files
|
||||
*.dart.js
|
||||
|
||||
// Check for any other incovenient files generated by OS
|
||||
// and other tools such as Eclipse, IntelliJ, etc.
|
||||
|
2
Global/DartEditor.gitignore
Normal file
2
Global/DartEditor.gitignore
Normal file
@ -0,0 +1,2 @@
|
||||
.project
|
||||
.buildlog
|
Loading…
Reference in New Issue
Block a user