From f08e86885edc9fcc1ed0cd77cff9877fed729ba8 Mon Sep 17 00:00:00 2001 From: Raffi Khatchadourian Date: Thu, 27 Apr 2023 13:25:48 -0400 Subject: [PATCH] Remove unused footnote. (#31) Forgot to remove this one with the last update. --- CONTRIBUTING.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index a1fca6f13..955f26cf0 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -31,7 +31,6 @@ You must install the `jython-dev.jar` to your local maven repository. 1. Clone the [WALA/ML repository][WALA/ML]. 1. Build and install to your local Maven repo: `mvn install` -[SO post]: https://stackoverflow.com/questions/4955635/how-to-add-local-jar-files-to-a-maven-project#answer-4955695 -[WALA]: https://github.com/wala/WALA +[SO post]: https://stackoverflow.com/questions/4955635/how-to-add-local-jar-files-to-a-maven-project#answer-4955695 [IDE]: https://github.com/wala/IDE [WALA/ML]: https://github.com/wala/ML