Skip to content

GitLab

Commit 7df2199f authored by Michael Hanus 's avatar Michael Hanus
Browse files
Options

Bug fix in frontend

parent eb840128
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
Makefile
View file @ 7df2199f
......@@ -51,7 +51,7 @@ export MINORVERSION=1
# The revision version number:
export REVISIONVERSION=3
# The build version number (if >0, then it is a pre-release)
BUILDVERSION=1
BUILDVERSION=2
# Complete version:
VERSION=$(MAJORVERSION).$(MINORVERSION).$(REVISIONVERSION)
# The version date:
......
curry-frontend @ ebd9026b
Compare 353467ff...ebd9026b
Subproject commit 353467ff9994df9adc0848fcf26ab7a8d682c01b
Subproject commit ebd9026bd6314472058079bbc8c7511cde9ca172
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment