diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-08 14:37:45 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-08 14:37:45 +0200 |
| commit | d060577f274658dd8189fceb92316b3cd37417b9 (patch) | |
| tree | 335352f69ea6624d996ff3ab1d5527378f65651b /.gitignore | |
| parent | 1d6d0060330197896748739a625d0b1c7f083da2 (diff) | |
| parent | 301ec42f1b38623df8f5de2cfb69da6836bd6e01 (diff) | |
Merge branch 'divided-makefile' into trunk
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions