Commit 183ed54e authored by Gaspard FEREY's avatar Gaspard FEREY

Update whitelist

parent 00167bde
github.com/Deducteam/Dedukti.git dkcheck.native d33ed1a68d57b4a8b0fdddb49b852170b97a9392 cstr-rec2
github.com/Deducteam/Dedukti.git dkcheck.native 3dc8024d637ce4bae585841903a744f502d16736 cstr-rec2
github.com/Deducteam/Dedukti.git dkcheck.native 851cf22d2da28c1f0b748cc690b136c93e19debd acu-state
github.com/Deducteam/Dedukti.git dkcheck.native b13bc2b1926a4ed6abab73c1e1d2c1e254faf095 cstr-recording
github.com/Deducteam/Dedukti.git dkcheck.native 3e572f4882cd56c931d0bf20d417f5ae502f4150 master
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment