W dniu poniedziałek, 17 września 2018 16:10:32 UTC+2 użytkownik Jean-Paul Pelteret napisał: > > Dear Michał, > > I think that calling *git checkout* is insufficient. You probably want to > call* git pull *(or* git fetch && git rebase origin/master*) to fetch and > merge the most current state of the remote repository. > > Best, > Jean-Paul > > Thanks, the compilation seems to get though that problems. I'm still waiting for compiler to finish but I think it will work. Michał
-- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
