../ makefile 05-Jun-2020 17:17 89 run.o 05-Jun-2020 17:17 4560 run_star.mod 05-Jun-2020 17:17 353 run_star.o 05-Jun-2020 17:17 4992 run_star_extras.mod 05-Jun-2020 17:17 417K run_star_extras.o 05-Jun-2020 17:17 1M