diff include/urweb/types_cpp.h @ 1956:ac1be85e91ad

Add 'html5' .urp directive
author Adam Chlipala <adam@chlipala.net>
date Thu, 09 Jan 2014 17:27:24 -0500
parents 6745eafff617
children c93fbd139732
line wrap: on
line diff
--- a/include/urweb/types_cpp.h	Tue Jan 07 08:36:18 2014 -0500
+++ b/include/urweb/types_cpp.h	Thu Jan 09 17:27:24 2014 -0500
@@ -102,6 +102,8 @@
   uw_periodic *periodics; // 0-terminated array
 
   uw_Basis_string time_format;
+
+  int is_html5;
 } uw_app;
 
 #define ERROR_BUF_LEN 1024