After merging pull request #26 as of change 1fce747e48290549c859de7b15e6efc351d60861 the updated files are not in the repository. They can be seen from the Github user interface.
This might be some feature of git that I am unaware of, but I would appreciate it if @fourier could have a look at this.
After merging pull request #26 as of change 1fce747e48290549c859de7b15e6efc351d60861 the updated files are not in the repository. They can be seen from the Github user interface.
This might be some feature of git that I am unaware of, but I would appreciate it if @fourier could have a look at this.