[DynInst_API:] [dyninst/dyninst] a0ced6: Remove IDE files

[Bill Williams <wwilliam47@xxxxxxxxx>]

  Branch: refs/heads/v9.3.x
  Home:   https://github.com/dyninst/dyninst
  Commit: a0ced65275ce118e16f045e45dd8b586b7923f8d
      https://github.com/dyninst/dyninst/commit/a0ced65275ce118e16f045e45dd8b586b7923f8d
  Author: Bill Williams <bill@xxxxxxxxxxx>
  Date:   2017-04-17 (Mon, 17 Apr 2017)

  Changed paths:
    R .idea/deployment.xml
    R .idea/webServers.xml

  Log Message:
  -----------
  Remove IDE files


  Commit: 43ec60d16b57adeff33e65c9310b42c39e79dbb7
      https://github.com/dyninst/dyninst/commit/43ec60d16b57adeff33e65c9310b42c39e79dbb7
  Author: Bill Williams <bill@xxxxxxxxxxx>
  Date:   2017-04-17 (Mon, 17 Apr 2017)

  Changed paths:
    R dyninstAPI/doc/dyninstAPI.doc
    A dyninstAPI/doc/dyninstAPI.docx
    M dyninstAPI/doc/dyninstAPI.pdf

  Log Message:
  -----------
  Updated Dyninst manual.


  Commit: 2e23c9527ddcdb36bd9906597fd58ca8928b67cf
      https://github.com/dyninst/dyninst/commit/2e23c9527ddcdb36bd9906597fd58ca8928b67cf
  Author: Bill Williams <bill@xxxxxxxxxxx>
  Date:   2017-04-17 (Mon, 17 Apr 2017)

  Changed paths:
    M cmake/shared.cmake

  Log Message:
  -----------
  Bump patch version


  Commit: 5d2ddacb273682daa014ae22f17f3575e05b411e
      https://github.com/dyninst/dyninst/commit/5d2ddacb273682daa014ae22f17f3575e05b411e
  Author: Bill Williams <wwilliam47@xxxxxxxxx>
  Date:   2017-04-17 (Mon, 17 Apr 2017)

  Changed paths:
    R .idea/deployment.xml
    R .idea/webServers.xml
    M cmake/shared.cmake
    R dyninstAPI/doc/dyninstAPI.doc
    A dyninstAPI/doc/dyninstAPI.docx
    M dyninstAPI/doc/dyninstAPI.pdf

  Log Message:
  -----------
  Merge pull request #362 from dyninst/wrwilliams/cleanup-for-9.3.2

More 9.3.2 cleanup


Compare: https://github.com/dyninst/dyninst/compare/1575b01d4f68...5d2ddacb2736