Revision as of 16:04, 23 March 2020 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 rebuild by running the make command. Otherwise, it will update your build.