#1288: off-line source code extractor for Formaline ------------------------------------+--------------------------------------- Reporter: rhaas | Owner: Type: enhancement | Status: reviewed_ok Priority: optional | Milestone: Component: EinsteinToolkit thorn | Version: Resolution: | Keywords: Formaline ------------------------------------+--------------------------------------- Changes (by eschnett):
* status: review => reviewed_ok