Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | normaliz-2.10-respect-flags.patch | 1278 | logplain |
-rw-r--r-- | normaliz-2.11-respect-flags.patch | 1566 | logplain |
-rw-r--r-- | normaliz-2.5-respect-flags.patch | 1381 | logplain |
-rw-r--r-- | normaliz-2.7-respect-flags.patch | 1652 | logplain |
-rw-r--r-- | normaliz-2.8-respect-flags.patch | 3018 | logplain |