← Back to branch summary

~ubuntu-branches/ubuntu/trusty/coq/trusty

Viewing all changes in revision 20.

  • Committer: Bazaar Package Importer
  • Author(s): Matthias Klose
  • Date: 2010-09-18 18:24:09 UTC
  • Revision ID: james.westby@ubuntu.com-20100918182409-8yuazosqtej64a3p
Tags: 8.2.pl2+dfsg-1ubuntu1
https://launchpad.net/bugs/636229
Do not hardcode register names for thumb mode on armel. LP: #636229 .

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: