fixed domain #185

Merged
IDONTSUDO merged 1 commit from 20-issue into master 2023-03-27 22:26:24 +03:00
IDONTSUDO commented 2023-03-06 17:25:01 +03:00 (Migrated from gitlab.com)

Closes #20

Closes #20
IDONTSUDO commented 2023-03-06 17:25:01 +03:00 (Migrated from gitlab.com)

assigned to @IDONTSUDO

assigned to @IDONTSUDO
movefasta commented 2023-03-06 19:08:30 +03:00 (Migrated from gitlab.com)

Расширение pddl, а не txt

Расширение pddl, а не txt
movefasta commented 2023-03-06 19:08:38 +03:00 (Migrated from gitlab.com)

resolved all threads

resolved all threads
movefasta commented 2023-03-14 08:44:34 +03:00 (Migrated from gitlab.com)

added 3 commits

  • c6722d37...37bdfcd5 - 2 commits from branch master
  • b376c78e - adding domain

Compare with previous version

added 3 commits <ul><li>c6722d37...37bdfcd5 - 2 commits from branch <code>master</code></li><li>b376c78e - adding domain</li></ul> [Compare with previous version](/robossembler/framework/-/merge_requests/20/diffs?diff_id=627320120&start_sha=c6722d372d06aac373c0fdddec274e233e079142)
movefasta (Migrated from gitlab.com) merged commit into master 2023-03-27 22:26:24 +03:00
Sign in to join this conversation.
No description provided.