diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2024-11-17 17:04:18 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2024-11-17 17:04:18 +0100 |
| commit | b1342627d7234b4133465355870462640cf23fea (patch) | |
| tree | 4d5b8dcac145cfc94f2b084f51c527550b1e0c94 /.github/.gitignore | |
| parent | 1dc4318a30b34ebbf21472d29dbe341f22bc3ea2 (diff) | |
| parent | afc256aa52f77e20e215e947d2aa061dccb682e5 (diff) | |
Merge branch 'main' into pull_request
Diffstat (limited to '.github/.gitignore')
| -rw-r--r-- | .github/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/.gitignore b/.github/.gitignore new file mode 100644 index 0000000..2d19fc7 --- /dev/null +++ b/.github/.gitignore @@ -0,0 +1 @@ +*.html |