[polyml] 01/06: Update upstream source from tag 'upstream/5.7.1'

[James Clarke]

This is an automated email from the git hooks/post-receive script.

jrtc27 pushed a commit to branch master
in repository polyml.

commit e9c7eb32e1fb4df5e4ef5839ea627a146576b45f
Merge: 027a42d 8fe5ebd
Author: James Clarke <jrtc27 at debian.org>
Date:   Fri Dec 8 16:37:51 2017 +0000

    Update upstream source from tag 'upstream/5.7.1'
    
    Update to upstream version '5.7.1'
    with Debian dir dcebcd310f3e8a6d1b9cc94faa0e783f5e8301f8

 .gitattributes                       |   17 -
 .gitignore                           |   47 --
 PolyImp/PolyImport.vcxproj           |  542 +++++++++---------
 PolyML.rc                            |  364 ++++++------
 PolyML.sln                           |  314 +++++------
 PolyML/PolyML.vcxproj                |  938 +++++++++++++++----------------
 PolyPerf/PolyPerf.vcxproj            |  278 +++++-----
 libffi/libffi.vcxproj                |  748 ++++++++++++-------------
 libpolymain/PolyMainLib.vcxproj      |  484 ++++++++--------
 libpolyml/PolyLib.vcxproj            | 1012 +++++++++++++++++-----------------
 wininstall/polyicon/polyicon.rc      |  144 ++---
 wininstall/polyicon/polyicon.vcxproj |  306 +++++-----
 12 files changed, 2565 insertions(+), 2629 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/polyml.git