diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2019-05-10 19:10:30 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2019-05-10 19:10:30 -0400 |
| commit | 51460ed6d39a6550743681e2b1a73b66c40f7425 (patch) | |
| tree | 85ca03189d874710d1a0234b98d016920de172f0 /data | |
| parent | 854456185c7ab011895c20af3572361defec9751 (diff) | |
Extra build failsafes
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions