diff options
| author | Natalie Weizenbaum <nex342@gmail.com> | 2015-06-30 12:12:42 -0700 |
|---|---|---|
| committer | Natalie Weizenbaum <nex342@gmail.com> | 2015-06-30 12:12:42 -0700 |
| commit | 80b0942d7ee387917cc0fadbbba152da26849fb4 (patch) | |
| tree | 4239c27286c860b885c48d4f625bac725c8b6f83 /Coq.gitignore | |
| parent | 1587f288ee3c5132ad5e14be232d9e5784209286 (diff) | |
| download | gitignore-80b0942d7ee387917cc0fadbbba152da26849fb4.tar.gz gitignore-80b0942d7ee387917cc0fadbbba152da26849fb4.zip | |
Update Dart.gitignore
As of Dart 1.12, the pub package manager will start generating a .packages file that will eventually replace the packages/ directory.
Diffstat (limited to 'Coq.gitignore')
0 files changed, 0 insertions, 0 deletions