Merge branch 'jit' of ssh://git.nguyen.vg/tatoo into jit
[tatoo.git] / src / deque.ml
2017-04-12 Kim NguyễnAdd a generic deque module.