diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-09-05 13:58:08 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-09-05 13:58:08 -0500 |
commit | 369c8f16210f7cb71c4f1ffef533b81853377f62 (patch) | |
tree | c573b5fe0731a72ad0eb2e63c06ca4d120942039 /libre/jedit/jedit-fix_build.patch | |
parent | 816cdd1fabf7b4a62ef7900f0b4f27563479ab66 (diff) |
networkmanager-consolekit-1.4.1dev+33+gc87b89b-1: updating version
Diffstat (limited to 'libre/jedit/jedit-fix_build.patch')
0 files changed, 0 insertions, 0 deletions