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/libindi | |
parent | bfd28bf00d57c71feef0143d806129b3202e6add (diff) |
Fix name to patch in agave
Diffstat (limited to 'extra/libindi')
0 files changed, 0 insertions, 0 deletions