diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2012-10-17 16:42:03 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2012-10-17 16:42:03 -0500 |
| commit | bb3524a1ba0370174d0c586ae94cd503b562a207 (patch) | |
| tree | 9db1bdb95aa73df77f4be29fdfba3e5f00821df1 /extra | |
| parent | bfd28bf00d57c71feef0143d806129b3202e6add (diff) | |
Fix name to patch in agave
Diffstat (limited to 'extra')
0 files changed, 0 insertions, 0 deletions