swh:1:snp:2ad4e6cab37cbb98f3063cd1928c837156c95438
Tip revision: f895e8f8809ea0644b075b932980a646bc65dfac authored by Roberto Di Cosmo on 11 November 2011, 12:49:50 UTC
Experimenting with adding git version to the executable
Experimenting with adding git version to the executable
Tip revision: f895e8f
| File | Mode | Size |
|---|---|---|
| example | ||
| .depend | -rw-r--r-- | 299 bytes |
| .gitignore | -rw-r--r-- | 15 bytes |
| Changelog | -rw-r--r-- | 320 bytes |
| INSTALL | -rw-r--r-- | 92 bytes |
| LICENSE | -rw-r--r-- | 30.4 KB |
| META | -rw-r--r-- | 183 bytes |
| Makefile | -rw-r--r-- | 1.7 KB |
| README | -rw-r--r-- | 4.3 KB |
| bytearray.ml | -rw-r--r-- | 2.7 KB |
| bytearray.mli | -rw-r--r-- | 671 bytes |
| bytearray_stubs.c | -rw-r--r-- | 1.5 KB |
| parmap.ml | -rw-r--r-- | 7.5 KB |
| parmap.mli | -rw-r--r-- | 2.8 KB |
| setcore.c | -rw-r--r-- | 856 bytes |
| setcore.mli | -rw-r--r-- | 163 bytes |
