صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
syevale111
/
edu
دنبال کردن 1
ستاره دار 0
انشعاب 0
پرونده‌ها مشکلات 5 درخواست واکشی 0 ویکی
شاخه: master
شاخه‌ها تگ‌ها
edu
/
.gitignore

.gitignore 21 B
لینک دائمی تاريخچه خام

123 
  1. # ---> Agda
    2. 

  2. *.agdai
    3. 

  3.