diff options
| author | Théo Zimmermann | 2018-02-05 16:05:38 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-02-05 16:05:38 +0100 |
| commit | 0937f8ea5e2f027743f8835bd66301ee747d69eb (patch) | |
| tree | dd31958e7e988dcca571fb7332df89ae82eea7f4 /kernel/nativecode.mli | |
| parent | 55b2a4e0c24d691b71256c91ed54e245efce340b (diff) | |
Points to Flocq official repository.
Following comment at https://github.com/coq/coq/pull/6596#issuecomment-358246528.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions