Simplify make-progress-reporter vs float-time
tree2e2f7b3a0576d5fdc8cf856685c2f3e430069a42
-rw-r--r-- 611 .dir-locals.el
-rw-r--r-- 3000 .gitattributes
-rw-r--r-- 4867 .gitignore
-rw-r--r-- 1395 .gitlab-ci.yml
-rw-r--r-- 932 BUGS
-rw-r--r-- 16483 CONTRIBUTE
-rw-r--r-- 35149 COPYING
-rw-r--r-- 479075 ChangeLog.1
-rw-r--r-- 1311708 ChangeLog.2
-rw-r--r-- 1816591 ChangeLog.3
-rw-r--r-- 2798 GNUmakefile
-rw-r--r-- 31360 INSTALL
-rw-r--r-- 3907 INSTALL.REPO
-rw-r--r-- 44145 Makefile.in
-rw-r--r-- 5722 README
drwxr-xr-x - admin
-rwxr-xr-x 10155 autogen.sh
drwxr-xr-x - build-aux
-rw-r--r-- 14870 config.bat
-rw-r--r-- 190490 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - leim
drwxr-xr-x - lib-src
drwxr-xr-x - lib
drwxr-xr-x - lisp
drwxr-xr-x - lwlib
drwxr-xr-x - m4
-rwxr-xr-x 19690 make-dist
drwxr-xr-x - modules
drwxr-xr-x - msdos
drwxr-xr-x - nextstep
drwxr-xr-x - nt
drwxr-xr-x - oldXMenu
drwxr-xr-x - src
drwxr-xr-x - test