Commit 29c90e06 authored by Gaspard FEREY's avatar Gaspard FEREY

Update whitelist

parent c56f8d6d
github.com/Deducteam/Dedukti.git dkcheck.native 812cd87bd7112ac97cdb252308e0226cba013fb1 master
github.com/Deducteam/Dedukti.git dkcheck.native efb5fb1a85e7dd3248ce692febaa82968463e371 acu-state
github.com/Deducteam/Dedukti.git dkcheck.native bfd7c05a2e17817e62f653a4a8a0c94fe4287683 acu-state github.com/Deducteam/Dedukti.git dkcheck.native bfd7c05a2e17817e62f653a4a8a0c94fe4287683 acu-state
github.com/Deducteam/Dedukti.git dkcheck.native a2bfb5e2eecd77f502c9c9b41eeb6083cf324288 acu-state github.com/Deducteam/Dedukti.git dkcheck.native a2bfb5e2eecd77f502c9c9b41eeb6083cf324288 acu-state
github.com/Deducteam/Dedukti.git dkcheck.native c94c8a54ab95e683c3dbf0238cf2b280cc38979c acu-state github.com/Deducteam/Dedukti.git dkcheck.native c94c8a54ab95e683c3dbf0238cf2b280cc38979c acu-state
......
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