Opened 16 years ago
Closed 15 years ago
#19270 closed request (fixed)
pure-doc: make a port
| Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | ryandesign (Ryan Carsten Schmidt) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.7.1 |
| Keywords: | Cc: | ||
| Port: | pure-doc |
Description
Make a port for pure-doc. Should be similar to the other pure module ports.
http://pure-lang.googlecode.com/
http://groups.google.com/group/pure-lang/browse_thread/thread/88c9aee3b858bc07#msg_8d2637e7e59b6b81
Change History (3)
comment:1 Changed 16 years ago by jmroot (Joshua Root)
| Type: | enhancement → request |
|---|
comment:2 Changed 16 years ago by (none)
| Milestone: | Port Requests |
|---|
comment:3 Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Added port for pure-doc 0.3 in r51812.
Note: See
TracTickets for help on using
tickets.
Milestone Port Requests deleted