| commit | e45dba47b517d2af87a90cff8c5a1d8241ed625c | [log] [tgz] |
|---|---|---|
| author | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Tue May 12 14:54:15 2015 +0200 |
| committer | Manuel Pégourié-Gonnard <mpg@elzevir.fr> | Tue May 12 14:54:15 2015 +0200 |
| tree | fa42b2b554fdb5a9379d66d70ece841d76e83116 | |
| parent | d1a82603add6f9f212942c893cd99f28da0e3833 [diff] |
Remove unused member in des_context