Code

Contributing#465

Code

Merged

rkaminsk merged 7 commits intowippotassco/clingo:wipfrom contributingpotassco/clingo:contributingCopy head branch name to clipboardNov 23, 2023

+110

Commits

Commits on Nov 2, 2023

• add file explainig how to contribute

  rkaminsk

  committed
  2c7a405

• some more text

  rkaminsk

  committed
  c73b086

• refine

  rkaminsk

  committed
  2eedc4c

• more refinements

  rkaminsk

  committed
  a66a538

• update

  rkaminsk

  committed
  c32f1a4

• add PR template

  rkaminsk

  committed
  670900a

Commits on Nov 23, 2023

• update changes

  rkaminsk

  committed
  e534115