]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/libgomp/lib/build/gstdint.h
update
[l4.git] / l4 / pkg / libgomp / lib / build / gstdint.h
index 140601042baf35313dd73aad136d2105a4134be4..72bb848e059fe493974b466a896db156709ef199 100644 (file)
@@ -1,4 +1,4 @@
-/* generated for  gcc (Debian 4.3.2-1) 4.3.2 */
+/* generated for  xgcc (GCC) 4.7.3 20121125 (prerelease) */
 
 #ifndef GCC_GENERATED_STDINT_H
 #define GCC_GENERATED_STDINT_H 1