diff options
| author | Joris | 2020-08-09 08:37:18 +0200 |
|---|---|---|
| committer | Joris | 2020-08-09 08:37:18 +0200 |
| commit | ad6abcd5fc5e4e66062c8a01b511a1bd4bda2e94 (patch) | |
| tree | 0dee6c63c45e34ce960ca6c445b4ee9dbdcb3087 /src/Lib/Dom/HA.ml | |
| parent | 2cb752123d15916496e872c9fbd423c788c86c64 (diff) | |
Export as CSV
Diffstat (limited to 'src/Lib/Dom/HA.ml')
| -rw-r--r-- | src/Lib/Dom/HA.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Lib/Dom/HA.ml b/src/Lib/Dom/HA.ml index 53fb84d..ce02f2a 100644 --- a/src/Lib/Dom/HA.ml +++ b/src/Lib/Dom/HA.ml @@ -39,3 +39,5 @@ let style v = H.TextAttr ("style", v) let href v = H.TextAttr ("href", v) let autocomplete v = H.TextAttr ("autocomplete", v) + +let download v = H.TextAttr ("download", v) |