mirror of
https://github.com/dimitri/pgloader.git
synced 2026-05-04 18:36:12 +02:00
Follow-up to the merge, we're not a release branch.
This commit is contained in:
parent
fc78c1f623
commit
a5e9cb172c
@ -33,11 +33,11 @@
|
||||
|
||||
(in-package :pgloader.params)
|
||||
|
||||
(defparameter *release* t
|
||||
(defparameter *release* nil
|
||||
"non-nil when this build is a release build.")
|
||||
|
||||
(defparameter *major-version* "3.1")
|
||||
(defparameter *minor-version* "2")
|
||||
(defparameter *minor-version* "3")
|
||||
|
||||
(defun git-hash ()
|
||||
"Return the current abbreviated git hash of the development tree."
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user