Project

General

Profile

Change Request #3835

Move user documentation to dedicated plugin

Added by Simon Barner about 1 year ago. Updated about 1 year ago.

Status:
Closed
Priority:
Normal
Category:
-
Start date:
10/07/2019
Due date:
% Done:

100%

Estimated time:

Description

Rationale: the internal help browser of exploration.ui must have access the HTML files. Adding a dependency exploration.ui -> af3.rcp is not an option since it would introduce a circular dependency.

History

#1 Updated by Simon Barner about 1 year ago

  • Status changed from New to Resolved
  • Assignee changed from Simon Barner to Alexander Diewald
Please review

#2 Updated by Alexander Diewald about 1 year ago

  • Status changed from Resolved to Closed
  • % Done changed from 0 to 100

Merged. Thanks!

Also available in: Atom PDF