[cig-commits] [commit] master's head updated: Merge remote-tracking branch 'origin/devel' (f626de1)

[cig_noreply at geodynamics.org]

Repository : https://github.com/geodynamics/specfem1d

Branch 'master' now includes:

     0236c76 fixed a dependency problem in the Makefile
     5256719 Merge pull request #5 from komatits/devel
     f626de1 Merge remote-tracking branch 'origin/devel'