Ilija Tovilo 5a14e4b1cf Progress bar (#1709) ... * Revert "Revert "Implement better progress"" This reverts commit 4302596654. * Revert "Revert "Implement dots progress bar"" This reverts commit e41733d789. * Revert "Revert "Switch to VoidProgress by default"" This reverts commit 304ffeb0a3. * Revert "Revert "Pass success flag to progress"" This reverts commit 62a690ee4e. * Improve socket communication * Use an underscore * Add means to disable progress * Add extra newline before progress bar		2019-05-30 10:30:41 -04:00
..
CompletionTest.php	Progress bar (#1709)	2019-05-30 10:30:41 -04:00
SymbolLookupTest.php	Progress bar (#1709)	2019-05-30 10:30:41 -04:00