Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. add files, amending eaa12586560e
  2. add tests with problematic file names, amending 0c89fe6fc3d9
Changeset 14381:134cdc24c11b by Norbert Schirmer _nschirmer@apple.com_:
add files, amending eaa12586560e
The file was addedthys/AutoCorres2/tests/c-parser/includes/accentedだいがく.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/accented大学.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/accentéd1.h
The file was addedthys/AutoCorres2/tests/c-parser/jiraver224.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver224.thy
Changeset 14380:eaa12586560e by Norbert Schirmer _nschirmer@apple.com_:
add tests with problematic file names, amending 0c89fe6fc3d9
The file was modified thys/AutoCorres2/tests/c-parser/CParserTest.thy