Remove no-longer-supported key from manifest
work in progress to fix the bug2989
Merge remote-tracking branch 'upstream/master' into small-fixes-3
Better icon for selecting root folder in Settings
Remove no-longer-supported key from manifest (reverted from commit 61c3a8deaba840296349536d4c850aa2ed04523b)
made some changes so that the navigation history can function corect
fix a performance issue when removing projects
Merge pull request #3011 from devoncarew/devoncarew_fix_performance_issue

fix a performance issue when removing projects
some changes into the removeFile method
Tweak version numbers
Merge pull request #3004 from ussuri/small-fixes-3

Better icon for selecting root directory in Settings
some redundancy changes made here
Merge pull request #3010 from albualexandru/history-bug

History bug regarding #2989 and #2963
some speculative mobile/tablet work
added some tests for the removeFile method
some refractoring of the tests
line added
Merge pull request #3014 from albualexandru/history-bug

added some tests for the removeFile method
Merge pull request #3013 from devoncarew/devoncarew_tablet

some speculative mobile/tablet work
Update deploy.dart

increase the deploy timeout from 30 seconds to 60 seconds