diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-06-28 02:41:59 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-06-28 02:41:59 +0100 |
| commit | fe530cab7e1b8e6a935b92fff44229641623dbfa (patch) | |
| tree | e38db2925d14f5c5fe10ea11fa418b9ea1152094 | |
| parent | 7f4e6b0fab58bb3028cd0f1734fc97b3feafefdf (diff) | |
Update URL to boogie-partners to its new location on GitHub.
| -rw-r--r-- | Source/Core/Makefile | 2 |
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 |