From 2328df1d479d9bf1d8fc9ccabd2fc1a80d29c7f7 Mon Sep 17 00:00:00 2001 From: Lars Brinkhoff Date: Fri, 15 Jul 2016 07:58:17 +0200 Subject: [PATCH] Rename from wrong file name extension. --- ARM/{quick.elf => quick.pdf} | Bin 1 file changed, 0 insertions(+), 0 deletions(-) rename ARM/{quick.elf => quick.pdf} (100%) diff --git a/ARM/quick.elf b/ARM/quick.pdf similarity index 100% rename from ARM/quick.elf rename to ARM/quick.pdf