Permalink
Switch branches/tags
Commits on Mar 12, 2013
  1. Fix #529

    samoht committed Mar 12, 2013
    'cp -a' is not standard
  2. Update CHANGES

    samoht committed Mar 12, 2013
  3. Fix release target

    samoht committed Mar 12, 2013
  4. Fix #527

    samoht committed Mar 12, 2013
  5. Merge pull request #526 from AltGr/master

    samoht committed Mar 12, 2013
    Fixed shell integration with some setups (.profile loaded early, zsh...)
Commits on Mar 11, 2013
  1. Merge pull request #523 from avsm/master

    avsm committed Mar 11, 2013
    jenkis updates
  2. add new jenkins files

    avsm committed Mar 11, 2013
  3. Merge pull request #521 from avsm/master

    samoht committed Mar 11, 2013
    make the build more robust to git failure
  4. Fix release target

    samoht committed Mar 11, 2013
  5. Update man pages

    samoht committed Mar 11, 2013
  6. Update doc API

    samoht committed Mar 11, 2013
  7. make the git stamp more robust against not having any local annotated…

    avsm committed Mar 11, 2013
    … tags. Now any failure results in a valid file for the version
  8. Uddate CHANGES

    samoht committed Mar 11, 2013
  9. Expand ~ in filename strings

    samoht committed Mar 11, 2013
    This fixes `opam config setup --dot-profile=~/.bashrc`
    
    Remark: this was already working fine if you do `opam config setup --dot-profile ~/.bashrc` (as this was shell-expanded)
  10. Update CHANGES

    samoht committed Mar 11, 2013
  11. Fix user-configuration in case of syntax error (for instance when ~/.…

    samoht committed Mar 11, 2013
    …profile is run by dash)
Commits on Mar 10, 2013
  1. Fix deletion on invalid symlinks.

    samoht committed Mar 10, 2013
    It seems that Sys.file_exists returns false if a symbolic link exists but is broken. To avoid this, we also use Unix.lstat to be completely sure.
    
    Fix #520
Commits on Mar 8, 2013
  1. Bump trunk version number

    samoht committed Mar 8, 2013
  2. Update CHANGES

    samoht committed Mar 8, 2013