From c5ae0effacf97e7c2a2b23a7e1f197c1c1e086b4 Mon Sep 17 00:00:00 2001
From: sciencewhiz <sciencewhiz@users.noreply.github.com>
Date: Wed, 15 Dec 2021 20:30:34 -0800
Subject: [PATCH] OtherVersions.md: Add one missing case of useLocal (#3788)

---
 OtherVersions.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/OtherVersions.md b/OtherVersions.md
index 43ce7d6dbd..a58b9fb4f9 100644
--- a/OtherVersions.md
+++ b/OtherVersions.md
@@ -11,6 +11,7 @@ Development builds are the per-commit build hosted everytime a commit is pushed
 In order to build a project using a development build, find the build.gradle file and open it. Then, add the following code below the plugin section and replace YEAR with the year of the development version.
 
 ```groovy
+wpi.maven.useLocal = false
 wpi.maven.useDevelopment = true
 wpi.versions.wpilibVersion = 'YEAR.+'
 wpi.versions.wpimathVersion = 'YEAR.+