From a6dc05e945da83db18104de3a8a48009ca0e76bf Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Wed, 27 Sep 2017 11:00:45 +0200
Subject: [PATCH] add LED alias for PC13

---
 src/led.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/led.rs b/src/led.rs
index 2c6137d..5aa0de4 100644
--- a/src/led.rs
+++ b/src/led.rs
@@ -5,6 +5,9 @@
 use stm32f103xx::{GPIOC, RCC};
 
 /// LED connected to pin PC13
+pub type LED = PC13;
+
+/// Pin PC13. There's an LED connected to this pin
 pub struct PC13;
 
 /// Initializes the user LED
-- 
GitLab