projects / projects.git / commit
| author | gnublin <michael@wagnertech.de> | |
| Wed, 21 Jun 2017 12:30:26 +0000 (14:30 +0200) | ||
| committer | gnublin <michael@wagnertech.de> | |
| Wed, 21 Jun 2017 12:30:26 +0000 (14:30 +0200) | ||
| commit | 9f900ca37096790daab2fd817144badd826c2708 | |
| tree | fec954c0bb5bd16199c68e903d2919dd7d06ebfc | tree | snapshot |
| parent | 91e0fccb96d28028d78ea41e34c1990585048d3b | commit | diff |
| parent | 196cba883cc73f800321841cc0143224f8efe796 | commit | diff |
| tools/make/configure | diff1 | | diff2 | | blob | history |