Branch: refs/heads/master
Home: https://github.com/pgjdbc/pgjdbc
Commit: b1b1afb829fae06bcefce443e66d823f4f92fed5
https://github.com/pgjdbc/pgjdbc/commit/b1b1afb829fae06bcefce443e66d823f4f92fed5
Author: Christoph Berg <cb@df7cb.de>
Date: 2018-07-18 (Wed, 18 Jul 2018)
Changed paths:
R docs/documentation/92/media/css/docs.css~
R docs/documentation/92/media/css/table.css~
R docs/documentation/93/media/css/docs.css~
R docs/documentation/93/media/css/table.css~
R docs/documentation/94/media/css/docs.css~
R docs/documentation/94/media/css/table.css~
Log Message:
-----------
chore: remove editor backup files (#1255)
These are removed by the Debian package build in the "clean" step and
pop up as uncommitted changes.
**NOTE:** This service been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
