From 734db6cda787a35cdd279b9fc949a38c6f61f150 Mon Sep 17 00:00:00 2001 From: Cristian Mitre Date: Wed, 20 Nov 2024 14:44:26 +0200 Subject: [PATCH] add file from dist to git as in comments --- tools/picker/dist/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/picker/dist/index.html b/tools/picker/dist/index.html index ee1f009718..421ede90bc 100644 --- a/tools/picker/dist/index.html +++ b/tools/picker/dist/index.html @@ -1 +1 @@ -Franklin Picker
\ No newline at end of file +EDS Picker
\ No newline at end of file