Revision as of 00:36, 31 December 2018 by FuzzyBot (talk | contribs) (Importing a new version from external source)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

If git pull does not show any change, there is no need to type make install. Otherwise, it will update your build.