[Checkins] [zopefoundation/Zope] 12dee5: Remove personal preferences and ignore them.

[GitHub]

  Branch: refs/heads/zmi-bootstrap
  Home:   https://github.com/zopefoundation/Zope
  Commit: 12dee541704a5d3f0e7c523577b7c942b19be86c
      https://github.com/zopefoundation/Zope/commit/12dee541704a5d3f0e7c523577b7c942b19be86c
  Author: Michael Howitz <mh at gocept.com>
  Date:   2018-06-20 (Wed, 20 Jun 2018)

  Changed paths:
    M .gitignore
    R .project
    R .pydevproject

  Log Message:
  -----------
  Remove personal preferences and ignore them.


  Commit: 5e58f4589a4a89ac7843bcdb263fd5bb654edafd
      https://github.com/zopefoundation/Zope/commit/5e58f4589a4a89ac7843bcdb263fd5bb654edafd
  Author: Michael Howitz <mh at gocept.com>
  Date:   2018-06-20 (Wed, 20 Jun 2018)

  Changed paths:
    M .gitignore

  Log Message:
  -----------
  Remove duplicate lines.


Compare: https://github.com/zopefoundation/Zope/compare/d8901f6c9403...5e58f4589a4a
      **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.