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
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 |
Computing file changes ...