From c57a9d3d5e828a0d25218b63223cac69fd243c56 Mon Sep 17 00:00:00 2001
From: Marc Roizman <mroizman5@gmail.com>
Date: Tue, 20 Nov 2018 19:01:27 -0500
Subject: [PATCH] Add "prox" as an alias for proximity command (#94)

---
 PGM/src/main/java/tc/oc/pgm/goals/GoalCommands.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PGM/src/main/java/tc/oc/pgm/goals/GoalCommands.java b/PGM/src/main/java/tc/oc/pgm/goals/GoalCommands.java
index 78809ff..caf9a16 100644
--- a/PGM/src/main/java/tc/oc/pgm/goals/GoalCommands.java
+++ b/PGM/src/main/java/tc/oc/pgm/goals/GoalCommands.java
@@ -22,7 +22,7 @@ public class GoalCommands {
     private GoalCommands() {}
 
     @Command(
-        aliases = {"proximity"},
+        aliases = {"proximity", "prox"},
         desc = "Show stats about how close each competitor has been to each objective",
         min = 0,
         max = 0