From 5d00ca0364a58ad0829dbce09a80fbb1733d388f Mon Sep 17 00:00:00 2001 From: Mitchell Krog Date: Tue, 2 Jul 2019 09:33:19 +0200 Subject: [PATCH] Rename Ubuntu 18.04.2 Log Files --- .../{install.log => ubuntu1804-install.log} | 0 .../{setup.log => ubuntu1804-setup.log} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename .dev-tools/distribution_tests_missing_includes/{install.log => ubuntu1804-install.log} (100%) rename .dev-tools/distribution_tests_missing_includes/{setup.log => ubuntu1804-setup.log} (100%) diff --git a/.dev-tools/distribution_tests_missing_includes/install.log b/.dev-tools/distribution_tests_missing_includes/ubuntu1804-install.log similarity index 100% rename from .dev-tools/distribution_tests_missing_includes/install.log rename to .dev-tools/distribution_tests_missing_includes/ubuntu1804-install.log diff --git a/.dev-tools/distribution_tests_missing_includes/setup.log b/.dev-tools/distribution_tests_missing_includes/ubuntu1804-setup.log similarity index 100% rename from .dev-tools/distribution_tests_missing_includes/setup.log rename to .dev-tools/distribution_tests_missing_includes/ubuntu1804-setup.log