source: branches/acl2-egc/x86-headers @ 16374

Name Size Rev Age Author Last Change
../
elf 15434   7 years gb Try to account for Debian "multiarch" lossage. This seems to be able …
gl 15434   7 years gb Try to account for Debian "multiarch" lossage. This seems to be able …
gmp 11490   11 years gb Add JNI, update other interfaces for linuxx8632.
gnome2 15434   7 years gb Try to account for Debian "multiarch" lossage. This seems to be able …
gtk2 15434   7 years gb Try to account for Debian "multiarch" lossage. This seems to be able …
jni 15435   7 years gb Look for JVMINCLUDE in a couple of plausible places.
libc 15434   7 years gb Try to account for Debian "multiarch" lossage. This seems to be able …
  • Property svn:ignore set to
    *.
    elf
Note: See TracBrowser for help on using the repository browser.