Update of software manifest and setupenv.bat for Windows
-rw-r--r-- 53 .gitattributes
-rw-r--r-- 134 .gitignore
drwxr-xr-x - doc
lrwxrwxrwx 9 mk -> time-make
-rw-r--r-- 285 setenv
drwxr-xr-x - src
-rwxr-xr-x 242 time-make
-rwxr-xr-x 81 time-make-all