Revision 498782c93f3e0dd3a65c0d24e673f493f24b2b7f authored by Roberto Di Cosmo on 12 May 2014, 09:28:30 UTC, committed by Roberto Di Cosmo on 12 May 2014, 09:56:51 UTC
defaults to doing nothing.

We need to expose a redirect function instead, helping
who may want to use it without rewriting it from scratch.
1 parent dd9f089
History
File Mode Size
LICENCE -rw-r--r-- 17.7 KB
Makefile -rw-r--r-- 376 bytes
_tags -rw-r--r-- 117 bytes
mandels.ml -rw-r--r-- 6.4 KB
mandels_sdl.ml -rw-r--r-- 8.2 KB
topnat.ml -rw-r--r-- 373 bytes

back to top