Changeset 986e260

Timestamp:

Apr 29, 2019, 2:44:58 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

493a992, a3dc4cc, c64e979

Parents:

5fb17f1

Message:

Removed utf-8 character in groovy files and replaced with unicode escape

Files:

• Jenkins/FullBuild (modified) (1 diff)
• Jenkinsfile (modified) (1 diff)

Jenkins/FullBuild

@@ -121 +121 @@
         def email_subject = "[cforall git][${result}]"
         def email_body = """<p>This is an automated email from the Jenkins build machine. It was
-generated following the result of the C∀ nightly build.</p>
+generated following the result of the C\u2200 nightly build.</p>
 
 <p>Check console output at ${env.BUILD_URL} to view the results.</p>

Jenkinsfile

@@ -231 +231 @@
         def email_body = """<p>This is an automated email from the Jenkins build machine. It was
 generated because of a git hooks/post-receive script following
-a ref change which was pushed to the C∀ repository.</p>
+a ref change which was pushed to the C\u2200 repository.</p>
 """ + GitLogMessage()