diff options
Diffstat (limited to 'src/Lib/Dom/History.ml')
| -rw-r--r-- | src/Lib/Dom/History.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Lib/Dom/History.ml b/src/Lib/Dom/History.ml deleted file mode 100644 index ce7a877..0000000 --- a/src/Lib/Dom/History.ml +++ /dev/null @@ -1,2 +0,0 @@ -external push_state : string -> string -> string -> unit -> unit = "pushState" - [@@bs.val] [@@bs.scope "history"] |