Opened 16 years ago
Closed 16 years ago
#57 closed task (fixed)
--with-base configure option [default /usr/local/base]
Reported by: | Peter Johansson | Owned by: | Peter Johansson |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | se.lu.thep.wenni | Keywords: | |
Cc: |
Description
Change History (2)
comment:1 Changed 16 years ago by
comment:2 Changed 16 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
This flag is used to know where to find plug-in support files, such as BASE2Core.jar and corresponding base lib in BASE1.