d715db773c
Run update.sh
2018-03-21 22:08:58 +00:00
bc620d1a46
Run update.sh
2018-03-21 19:09:32 +00:00
5a86f9ec16
Run update.sh
2018-03-21 18:09:01 +00:00
2c8fa7abec
Merge pull request #1171 from adrianmsmith/correct-param-name-in-jetty
...
Correct wrong parameter name in Jetty docs
2018-03-21 10:19:52 -07:00
6b2e17eeed
Merge pull request #1176 from DarthGandalf/znc
...
Add ZNC image, copied from znc.in
2018-03-21 10:11:51 -07:00
1f2a03f253
Merge pull request #1170 from adrianmsmith/correct-file-names-in-jetty
...
Correct file names in Jetty documentation
2018-03-21 10:08:38 -07:00
ebb919df40
Add ZNC image, copied from znc.in
2018-03-21 00:39:51 +00:00
fed88b1ba1
Run update.sh
2018-03-20 22:09:06 +00:00
3d4a828281
Run update.sh
2018-03-20 21:09:05 +00:00
eebe5955c6
Run update.sh
2018-03-20 18:08:57 +00:00
420292f341
Run update.sh
2018-03-20 00:08:51 +00:00
bf5afdfe12
List differences from swipl source distribution. ( #1172 )
...
* List differences from swipl source distribution.
2018-03-19 16:15:30 -07:00
779b66e830
Run update.sh
2018-03-19 23:09:15 +00:00
3c06ff8aeb
Run update.sh
2018-03-19 20:08:38 +00:00
2a9b69b0ed
Run update.sh
2018-03-19 19:09:20 +00:00
ff3cd79284
Run update.sh
2018-03-16 21:09:02 +00:00
93e70a8b71
Merge pull request #1174 from nats-io/nats_streaming_v090
...
[nats-streaming] Release v0.9.0
2018-03-16 13:19:28 -07:00
20d75deec4
Run update.sh
2018-03-16 18:09:10 +00:00
793ff12d71
[nats-streaming] Release v0.9.0
...
Details can be found [here](https://github.com/nats-io/nats-streaming-server/releases/tag/v0.9.0 )
2018-03-16 11:23:08 -06:00
fb8bf2f2b4
Run update.sh
2018-03-16 17:09:51 +00:00
95496431d5
Run update.sh
2018-03-15 22:09:11 +00:00
413ff3d6f3
Run update.sh
2018-03-15 19:09:26 +00:00
d7f0d16d8b
Run update.sh
2018-03-15 18:08:54 +00:00
e68be889c9
Run update.sh
2018-03-13 22:08:50 +00:00
1890c50511
Merge pull request #1165 from sau226patches/master
...
Make issues file per request
2018-03-13 14:21:31 -07:00
18a610dbcb
Run update.sh
2018-03-13 21:09:07 +00:00
d0fda34ed8
Run update.sh
2018-03-13 20:09:00 +00:00
1bd14669e8
Run update.sh
2018-03-13 18:09:17 +00:00
b083b45fa7
Run update.sh
2018-03-13 17:09:50 +00:00
ff96a31d24
Fix issues file as per request
2018-03-13 16:54:26 +08:00
d327f9f383
Run update.sh
2018-03-13 00:09:26 +00:00
e8ce86dc0d
Run update.sh
2018-03-12 23:09:38 +00:00
e70515916c
Run update.sh
2018-03-12 22:08:56 +00:00
04342623e0
Run update.sh
2018-03-12 17:08:40 +00:00
34f6e51086
Run update.sh
2018-03-09 21:09:02 +00:00
704f68f6ce
Run update.sh
2018-03-09 18:09:25 +00:00
2b8f2ff2b1
Correct wrong parameter name in Jetty docs
...
To run Jetty with particular modules, use the `--module` option; the
previous doc said `--modules`. The Jetty documentation
https://www.eclipse.org/jetty/documentation/9.3.x/startup.html
references the `--module` option many times, but never `--modules`.
2018-03-09 12:28:01 +01:00
84eed3082f
Correct file names in Jetty documentation
...
The `start.d` files are called `*.ini` (not `*.mod`, as was stated in
the previous documentation)
2018-03-09 12:26:49 +01:00
11fa490309
Run update.sh
2018-03-08 22:08:51 +00:00
ed24e4107a
Run update.sh
2018-03-08 20:08:54 +00:00
622912aa49
Merge pull request #1169 from infosiftr/onbuild
...
Remove a few more onbuild references
2018-03-08 11:47:06 -08:00
d5f7039b41
Run update.sh
2018-03-08 19:08:52 +00:00
8eca795c5b
Merge pull request #1159 from carlossg/maven
...
Update maven docs
2018-03-08 10:53:01 -08:00
b112847214
Format maven docs
2018-03-08 10:50:12 -08:00
9d5f465339
Remove a few more onbuild references
2018-03-08 10:43:04 -08:00
c541692045
Run update.sh
2018-03-07 21:09:17 +00:00
dfef6f7971
Run update.sh
2018-03-07 20:08:43 +00:00
16e95dc688
Run update.sh
2018-03-07 19:08:37 +00:00
47515d9143
Run update.sh
2018-03-07 01:08:50 +00:00
588b2f6da3
Run update.sh
2018-03-07 00:09:18 +00:00
Docker Library Bot