Skip to content

Commit 4de6909

Browse files
tchajedtchajed
committed
Move examples to subdir
1 parent 92560d3 commit 4de6909

File tree

3 files changed

+0
-17
lines changed

3 files changed

+0
-17
lines changed

‎src/hundred_game.dfy renamed to ‎src/examples/hundred_game.dfy

File renamed without changes.

‎src/interval_example.dfy renamed to ‎src/examples/interval_example.dfy

File renamed without changes.

‎src/interval_snippet.dfy

Lines changed: 0 additions & 17 deletions
This file was deleted.

0 commit comments

Comments
 (0)