Fri, 07 Apr 2017 13:07:43 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 10:47:25 +0200 |
wenzelm |
explicit Sessions.Selection;
|
file |
diff |
annotate
|
Thu, 06 Apr 2017 22:04:30 +0200 |
wenzelm |
clarified signature: tree structure is not essential;
|
file |
diff |
annotate
|
Mon, 27 Feb 2017 00:00:28 +0100 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 16:48:41 +0200 |
Lars Hupel |
Jenkins: build in system mode again
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 15:57:34 +0200 |
Lars Hupel |
Jenkins: configurable clean build
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 21:08:04 +0200 |
wenzelm |
clarified hg.id operation, with explicit tip as default;
|
file |
diff |
annotate
|
Sat, 15 Oct 2016 10:45:55 +0200 |
Lars Hupel |
Jenkins: don't build in system mode
|
file |
diff |
annotate
|
Wed, 12 Oct 2016 11:48:53 +0200 |
wenzelm |
modernized;
|
file |
diff |
annotate
|
Wed, 12 Oct 2016 09:38:20 +0200 |
wenzelm |
clarified files;
|
file |
diff |
annotate
| base
|