Skip to content

Commit

Permalink
Renamed Part 1 to core/
Browse files Browse the repository at this point in the history
- Also removed auto-generated Metanorma files
- Added auto-generated files to .gitignore
  • Loading branch information
jerstlouis committed Jul 22, 2022
1 parent d554d1f commit b76073c
Show file tree
Hide file tree
Showing 36 changed files with 8 additions and 6,452 deletions.
8 changes: 8 additions & 0 deletions .gitignore
@@ -1 +1,9 @@
workdir
core/21-038.doc
core/21-038.err
core/21-038.html
core/21-038.pdf
core/21-038.presentation.xml
core/21-038.xml
core/iev/
core/relaton/

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

196 changes: 0 additions & 196 deletions 21_038_OGC_API_DGGS_Part_1/Makefile

This file was deleted.

0 comments on commit b76073c

Please sign in to comment.