[pgjdbc/pgjdbc] b1b1af: chore: remove editor backup files (#1255)

Branch: refs/heads/master
Home: https://github.com/pgjdbc/pgjdbc
Commit: b1b1afb829fae06bcefce443e66d823f4f92fed5
https://github.com/pgjdbc/pgjdbc/commit/b1b1afb829fae06bcefce443e66d823f4f92fed5
Author: Christoph Berg <cb(at)df7cb(dot)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.