Skip to content

Commit

Permalink
Merge branch 'develop'
Browse files Browse the repository at this point in the history
  • Loading branch information
@joaomlourenco
joaomlourenco committed Jan 16, 2024
2 parents b2e2261 + 0f88d2a commit e2c4845
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -131,6 +131,7 @@ times:

# merge, tag and push
mtp:
make clean
git cam "Version $(VERSION)."
git checkout main
git pull
Expand Down

0 comments on commit e2c4845

Please sign in to comment.