summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
authorGravatar Dan Liew <daniel.liew@imperial.ac.uk>2015-06-28 02:41:59 +0100
committerGravatar Dan Liew <daniel.liew@imperial.ac.uk>2015-06-28 02:41:59 +0100
commitfe530cab7e1b8e6a935b92fff44229641623dbfa (patch)
treee38db2925d14f5c5fe10ea11fa418b9ea1152094 /Source
parent7f4e6b0fab58bb3028cd0f1734fc97b3feafefdf (diff)
Update URL to boogie-partners to its new location on GitHub.
Diffstat (limited to 'Source')
-rw-r--r--Source/Core/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/Makefile b/Source/Core/Makefile
index 2eb998f8..2b0cf4e6 100644
--- a/Source/Core/Makefile
+++ b/Source/Core/Makefile
@@ -2,7 +2,7 @@ COCO = Coco.exe
# ###############################################################################
# The frame files are no longer in this directory. They must be downloaded
-# from http://boogiepartners.codeplex.com/. Update the FRAME_DIR variable to
+# from https://github.com/boogie-org/boogie-partners . Update the FRAME_DIR variable to
# point to whatever directory you install that into.
# ###############################################################################
FRAME_DIR = ..\..\..\boogiepartners\CocoR\Modified