diff options
| author | Domen Kožar <domen@dev.si> | 2016-09-13 16:11:37 +0200 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2016-09-13 16:13:05 +0200 |
| commit | 01895ff5eabfc95e17c3ff6b650194cbe44ef9d3 (patch) | |
| tree | efd3ba54fd59d97ee452476b5234c5d670abe683 /pkgs/development/python-modules/GitPython | |
| parent | 0c0188c5d258881b16da49a129ffa406e17f7e89 (diff) | |
fstar: disable tests https://github.com/FStarLang/FStar/issues/676
(cherry picked from commit feef017564c292e088de69e97db4071bf08c2853)
Signed-off-by: Domen Kožar <domen@dev.si>
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions