From 7f4b2fee89601d077eec035a6e560491078f002e Mon Sep 17 00:00:00 2001
From: Chris Mennie <chris@chrismennie.ca>
Date: Mon, 10 Oct 2016 18:48:45 -0400
Subject: [PATCH] adding defaultValue property

---
 src/React/DOM/Props.purs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/React/DOM/Props.purs b/src/React/DOM/Props.purs
index b5729fa..a7b9136 100644
--- a/src/React/DOM/Props.purs
+++ b/src/React/DOM/Props.purs
@@ -102,6 +102,9 @@ crossOrigin = unsafeMkProps "crossOrigin"
 dateTime :: String -> Props
 dateTime = unsafeMkProps "dateTime"
 
+defaultValue :: String -> Props
+defaultValue = unsafeMkProps "defaultValue"
+
 defer :: String -> Props
 defer = unsafeMkProps "defer"