diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-07-04 19:48:05 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-07-04 19:48:05 +0200 |
commit | b2f8f9edd5c1bb0a9c8c4f4b049381b979d3e385 (patch) | |
tree | 32e966816e22fc332007790c48eb810219fe8539 /.gitattributes | |
parent | da99355b4d6de31aec5a660f7afe100190a8e683 (diff) | |
parent | 073178a9821d10b72fe581d3ba7814afd7dfbb05 (diff) |
Merge remote-tracking branch 'github/pr/229' into trunk
Was PR#229: Bytecode compilation in a new 'make byte' rule apart from 'make world'
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions