[petsc-dev] remove prometheus interface from petsc-dev

[Barry Smith]

   Sounds good to remove it now.

   Barry

On Oct 5, 2012, at 1:22 PM, Satish Balay <balay at mcs.anl.gov> wrote:

> Mark and Barry,
> 
> Last time this topic came up [before 3.3 release] I was of the opinion
> that we should remove it from dev after the 3.3 release.
> 
> Now that nightly builds are failing on prometheus - its time to remove it?
> 
> Mark - is this ok?
> 
> thanks,
> Satish