]> gitweb.factorcode.org Git - factor.git/commit
periodic-table: adding a deploy script
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 17:38:08 +0000 (10:38 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 17:38:08 +0000 (10:38 -0700)
commit98e23aaba3e42b52557d49f1614edb40cfa221f4
tree074be71c19a3ab7ff4108cbe422c5698dfd6968f
parent22e1035fd6cef47ec95144333a1852195dea0138
periodic-table: adding a deploy script
extra/periodic-table/deploy.factor [new file with mode: 0644]