[Git][ocaml-team/ssreflect][upstream] New upstream version 1.7.0+dfsg

[Ralf Treinen <gitlab@salsa.debian.org>]

Title: GitLab

Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect

Commits:

• 8a0184fe
  by Ralf Treinen at 2019-02-16T19:05:56Z

  New upstream version 1.7.0+dfsg

13 changed files:

• − docs/htmldoc/js/cytoscape-dagre.js
• − docs/htmldoc/js/cytoscape-panzoom.js
• − docs/htmldoc/js/cytoscape-qtip.js
• − docs/htmldoc/js/cytoscape.js
• − docs/htmldoc/js/cytoscape.js-panzoom.css
• − docs/htmldoc/js/cytoscape.min.js
• − docs/htmldoc/js/dagre.js
• − docs/htmldoc/js/dagre.min.js
• − docs/htmldoc/js/jquery-2.0.3.js
• − docs/htmldoc/js/jquery-2.0.3.min.js
• − docs/htmldoc/js/jquery.qtip.css
• − docs/htmldoc/js/jquery.qtip.js
• − docs/htmldoc/js/jquery.qtip.min.css

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.