[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@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.