author | Michele Pezzutti <mpezz@tiscali.it> | |
Sun, 24 Dec 2017 22:08:52 +0000 (23:08 +0100) | ||
committer | Paolo Carlini <paolo@gcc.gnu.org> | |
Sun, 24 Dec 2017 22:08:52 +0000 (22:08 +0000) | ||
commit | 73986c315bdf126a2100869878790dcfbab6bd82 | |
tree | 1ccec5ba66d7fca8f6235b54de3881a234da2eb0 | tree |
parent | 4f9621392f941937b5dca01eacfb3ba81b955476 | commit | diff |