diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2014-10-20 02:43:14 +0200 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2014-10-20 02:44:30 +0200 |
| commit | 14e6d0ed4be07a4d6bf94a141af83b7d60f1ac5f (patch) | |
| tree | 9f8141f34e030eca326c1b0e39a8ba143a528dff /.gitignore | |
| parent | 686445fab20c835b9649f2278542069a5be87546 (diff) | |
Make generation scripts distro-independent
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions