diff options
| author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2014-07-03 19:09:23 +0400 |
|---|---|---|
| committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2014-07-03 19:09:23 +0400 |
| commit | 3e79e5ea9b967926a5ae0709485f0b4cb596897f (patch) | |
| tree | 2df10edd0553b912760454702a83f0ed8db15122 /.gitignore | |
| parent | 065c0f48ebfed6f5c6ece51eb1c3629824d1fbca (diff) | |
| parent | 949988a0da3624e7655b1cd3ad98dfdc174de7d9 (diff) | |
Merge pull request #607 from mono/no-splash
[Ide] Remove splash screen
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions