[patch] wmglobe portsdir
wmglobe.diff (text/plain), 39 bytes, created by jens_d on 2018-03-17 14:00:15 UTC
(hide)
 
Creator: jens_d
Created: 2018-03-17 14:00:15 UTC
Size: 39 bytes

/usr/home/jens/zwischenspeichern/ports

Actions: View | Diff
Attachments on bug 226675: 191574 | 191582