diff options
| author | pboutill | 2012-06-22 15:57:26 +0000 |
|---|---|---|
| committer | pboutill | 2012-06-22 15:57:26 +0000 |
| commit | 728bbdd770b0d3e1e09fadef33451327bc5e742b (patch) | |
| tree | fbf9111ee3bcead744a3cb5e6f5d4108668aaa67 /kernel | |
| parent | 1aa0ef1c890e5e283163a9a236808a828d57aa23 (diff) | |
Refactoring seems OK
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15477 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions