diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-01-14 22:31:56 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-01-16 19:05:55 +0100 |
| commit | 44ab38ef01f11fe29860c944e2169f9a4ef72d13 (patch) | |
| tree | f1e7dd596a37c19c40355f0c5fd5a634e7451bb4 /graph.js | |
| parent | cbd833750a57ae0596e80d06c74b02bccddf6197 (diff) | |
| download | patches-44ab38ef01f11fe29860c944e2169f9a4ef72d13.tar patches-44ab38ef01f11fe29860c944e2169f9a4ef72d13.tar.gz | |
bootstrap: Oops, list gcc-boot-4.7.4.patch.
* gnu/local.mk (dist_patch_DATA): Oops, add gcc-boot-4.7.4.patch.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions