tree eb440c579b8482f14170c5b90cdd67d7ddccf01c
parent da40148d701b94ee308e698e49f3e0b6ca6551ed
author Ed Willink <ed@willink.me.uk> 1484817874 +0000
committer Ed Willink <ed@willink.me.uk> 1484817874 +0000

[ocl] Redirect obsolete OCL website to PMI pages.