Revert "Squashed changes from #1475."

This reverts the changes merged from #1475 so they can be retested.
NVIDIA · Jan 25, 2022 · 4d657ac · 4d657ac
1 parent df5aa30
commit 4d657ac
Show file tree

Hide file tree

Showing 270 changed files with 3,288 additions and 5,189 deletions.
diff --git a/.github/workflows/deploy-documentation-github-pages.yml b/.github/workflows/deploy-documentation-github-pages.yml
diff --git a/.github/workflows/mirror-main-branch-to-master-branch.yml b/.github/workflows/mirror-main-branch-to-master-branch.yml
@@ -1,7 +1,7 @@
 on:
   push:
     branches:
-      - main
+      - "main"
 
 jobs:
   mirror-main-branch-to-master-branch:
@@ -12,6 +12,6 @@ jobs:
       id: mirror
       uses: google/[email protected]
       with:
-        source: main
-        dest: master
+        source: "main"
+        dest: "master"
         github-token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,6 @@
+*.log
+.p4config
+doc/html
 discrete_voronoi.pgm
 *build*/
 .idea/