diff options
| author | Joris | 2020-08-09 14:44:02 +0200 |
|---|---|---|
| committer | Joris | 2020-08-09 14:44:02 +0200 |
| commit | 225068497c5fd41da12030a6bbf58a0fc9c294d0 (patch) | |
| tree | a2432c1c8004a3e5897a4a9b445e256a3ca6c651 /src/Lib/Dom/Element.ml | |
| parent | ad6abcd5fc5e4e66062c8a01b511a1bd4bda2e94 (diff) | |
Import from CSV
Diffstat (limited to 'src/Lib/Dom/Element.ml')
| -rw-r--r-- | src/Lib/Dom/Element.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Lib/Dom/Element.ml b/src/Lib/Dom/Element.ml index 90c0321..e370cf5 100644 --- a/src/Lib/Dom/Element.ml +++ b/src/Lib/Dom/Element.ml @@ -43,3 +43,6 @@ let rec remove_children element = let mount_on base element = let () = remove_children base in append_child base element + +external files : Dom.element -> string Js.Array.t = "files" + [@@bs.get] |