projects / projects.git / commit
| author | gnublin <michael@wagnertech.de> | |
| Tue, 15 Jan 2019 22:08:45 +0000 (23:08 +0100) | ||
| committer | gnublin <michael@wagnertech.de> | |
| Tue, 15 Jan 2019 22:08:45 +0000 (23:08 +0100) | ||
| commit | 675071341d474d6689bef4d8f368eea082ab68c1 | |
| tree | 29762cc85de5b5a91d1df07e2e6c99814aecf1b6 | tree | snapshot |
| parent | 30de755c5340958dabcfe009d82322436cb9dc36 | commit | diff |
| tools/make/c_configure.sh | diff | blob | history | |
| tools/make/cpp.make | diff | blob | history |