diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-10 10:50:43 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-05-10 10:50:43 -0500 |
commit | 79fafb8d4d4c64895c7417877df36d2f43465220 (patch) | |
tree | 508f6d7df21910ff00146878fda829fbe9683e6d /libre/ark | |
parent | 9e18d6f1826a7c5f70276fc933d6bec4c797b7d1 (diff) |
file-roller: minor fix
Diffstat (limited to 'libre/ark')
0 files changed, 0 insertions, 0 deletions