Project

General

Profile

« Previous | Next » 

Revision 9de578f2

ID9de578f22229d6d295e39446ada86bbd1c0d047c
Parent 671f9377
Child a2faa2bc

Added by Andreas Müller about 8 years ago

fix NPE with abbrev == null in Rank (II)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)