From 6fd9abf9bdb87c33c8dbc3db4b084750bcda0614 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Thu, 21 Jun 2018 20:48:22 +0100
Subject: [PATCH] Rename monitor.py to monitor for consistency with other
 python applications.

Copied from Perforce
 Change: 194069
---
 mps/tool/{monitor.py => monitor} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename mps/tool/{monitor.py => monitor} (100%)
 mode change 100644 => 100755

diff --git a/mps/tool/monitor.py b/mps/tool/monitor
old mode 100644
new mode 100755
similarity index 100%
rename from mps/tool/monitor.py
rename to mps/tool/monitor