jEdit / Merge Requests / #180 merge fix of Glob_close macro

#180 merge fix of Glob_close macro

Milestone: for 5.0.x

Status: closed-accepted

Owner: Matthieu Casanova

Labels: None

Priority: 5

Updated: 2012-10-11

Created: 2012-09-29

Creator: Eric Le Lay

Private: No

r22276

Discussion

Matthieu Casanova - 2012-10-11

assigned_to: nobody --> kpouer

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.