diff options
author | Stephane Glondu <steph@glondu.net> | 2012-03-27 07:57:05 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-03-27 08:18:52 +0200 |
commit | 7ea6f0085c0c5ba14e846bad255923e505e7b168 (patch) | |
tree | d901ebd652c87ca8c7598624abfd5f500e37506d /kernel/inductive.ml | |
parent | 62d9cc7bb328a0a3a803f9b638a398fc4fec1ad9 (diff) |
Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions