tree c33d1080f584901bf37766cafc6e302e55c15724
parent b000ad085f58a244db63c3ace95c298144998bef
author Petr Hosek <phosek@google.com> 1484103054 -0800
committer Petr Hosek <phosek@google.com> 1484103054 -0800

Remove jiri module configuration

This configuration was never really used for anything and isn't really
needed since we specify both remote and manifest as bucket properties.

Change-Id: I683d5bf3d59dbb7e5da928db3ae818f0d7adb4a9