| 13fc9a105393bc799a26cdba6f7e759435e3ec23 |
|
22-Apr-2016 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Adjust the ProofStatusSeralizer to use the correct URL. |
| de6c495f32f4fe2341971527e5fc1ccb9a21ed2f |
|
02-Jun-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Remove trailing slash from authority. |
| b941d9b3af35eaf1562109312ce79aad8e2f783b |
|
01-Jun-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Fix port being the hostname. |
| a446fc1729ca15222cd35f657ebe75152ac5a39c |
|
01-Jun-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Fail with reasonable error message. |
| cb1256dca3f095718f35c41530a136823dac0774 |
|
28-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add and use url_autority method. |
| e2586f58230ac2938db5ee91191108988b206e2f |
|
28-May-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Set fully qualified domain name config properly. |
| d6cf50ae9519bdb5252081061b3d6a7e0ccde20b |
|
08-Apr-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Specify action_mailer configuration
For this task, also add inferred fully qualified domain name and port
config. |