diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-26 17:18:42 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-09-26 17:18:42 -0500 |
| commit | 4c88b9e238aac2c242a9bd7f0a75f95e88bdff80 (patch) | |
| tree | 2e71ccc4ca50a3a2679c8ac121891d148b20abf0 /db-repo-remove | |
| parent | 67cb9c3f9eb7a5c68dfd775366573a0eccfc0da0 (diff) | |
Minor fix to db-sync-arm
Diffstat (limited to 'db-repo-remove')
0 files changed, 0 insertions, 0 deletions