projects / projects.git / commit
| author | gnublin <michael@wagnertech.de> | |
| Wed, 21 Jun 2017 12:26:52 +0000 (14:26 +0200) | ||
| committer | gnublin <michael@wagnertech.de> | |
| Wed, 21 Jun 2017 12:26:52 +0000 (14:26 +0200) | ||
| commit | 91e0fccb96d28028d78ea41e34c1990585048d3b | |
| tree | 8176964a237d7f50319117d3107f843b45e5fa98 | tree | snapshot |
| parent | ff7c88561a82ed09c86a1bb6f857063f39b1837d | commit | diff |
| tools/make/configure | diff | blob | history | |
| tools/make/makefile | diff | blob | history |