| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Various updates (mostly typos/thinkos, but also phase out "tautology"). | David A. Madore | 5 days | |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |