diff src/mono_print.sml @ 2119:5439b35c5d0b

Add 'download' attribute to <a/>, part of HTML5
author Sergey Mironov <grrwlf@gmail.com>
date Sun, 26 Oct 2014 14:07:07 +0000
parents 98895243b5b6
children 278e10629ba1
line wrap: on
line diff