diff options
| author | Jose E. Marchesi <jemarch@gnu.org> | 2014-07-24 18:50:03 +0200 |
|---|---|---|
| committer | Jose E. Marchesi <jemarch@gnu.org> | 2014-07-24 18:50:03 +0200 |
| commit | e146d2a52d4a527a11a79d9b46551fbd9fdca62b (patch) | |
| tree | 584f34c41e0fe95e97dc84203932f8fabc77db0d /gnulib | |
| parent | 274476c8610a25974c9a3050222d0576bf4a2652 (diff) | |
| download | sed-e146d2a52d4a527a11a79d9b46551fbd9fdca62b.tar.gz | |
gnulib submodule updated.
2014-07-24 Jose E. Marchesi <jemarch@gnu.org>
* gnulib: Update.
Diffstat (limited to 'gnulib')
| m--------- | gnulib | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnulib b/gnulib -Subproject 819b1c38b9abd94d7d1ca2a77bbe16053b75029 +Subproject 5acee27d5d25bdf9ae42a157856cf12f871494e |