Commits on Source (9)
-
Miguel Angel Reina Ortega authored
This reverts commit f2a5e0ff.
-
Miguel Angel Reina Ortega authored
-
Miguel Angel Reina Ortega authored
-
Miguel Angel Reina Ortega authored
-
Miguel Angel Reina Ortega authored
-
Miguel Angel Reina Ortega authored
-
Miguel Angel Reina Ortega authored
-
-
Showing
- .gitlab/merge_request_templates/coversheet_contribution_simplified.md 5 additions, 0 deletions...e_request_templates/coversheet_contribution_simplified.md
- README.md 38 additions, 0 deletionsREADME.md
- Spec-template.docx 0 additions, 0 deletionsSpec-template.docx
- TR-0073-Developer_Guide_Deploying_Semantics.md 1014 additions, 0 deletionsTR-0073-Developer_Guide_Deploying_Semantics.md
- media/.gitkeep 0 additions, 0 deletionsmedia/.gitkeep
- media/image1.png 0 additions, 0 deletionsmedia/image1.png
- media/image10.png 0 additions, 0 deletionsmedia/image10.png
- media/image11.png 0 additions, 0 deletionsmedia/image11.png
- media/image12.png 0 additions, 0 deletionsmedia/image12.png
- media/image13.png 0 additions, 0 deletionsmedia/image13.png
- media/image2.png 0 additions, 0 deletionsmedia/image2.png
- media/image3.png 0 additions, 0 deletionsmedia/image3.png
- media/image4.png 0 additions, 0 deletionsmedia/image4.png
- media/image5.png 0 additions, 0 deletionsmedia/image5.png
- media/image6.png 0 additions, 0 deletionsmedia/image6.png
- media/image7.png 0 additions, 0 deletionsmedia/image7.png
- media/image8.png 0 additions, 0 deletionsmedia/image8.png
- media/image9.png 0 additions, 0 deletionsmedia/image9.png
README.md
0 → 100644
Spec-template.docx
deleted
100644 → 0
File deleted
This diff is collapsed.
media/.gitkeep
0 → 100644
media/image1.png
0 → 100644
4.71 KiB
media/image10.png
0 → 100644
90.2 KiB
media/image11.png
0 → 100644
74.8 KiB
media/image12.png
0 → 100644
230 KiB
media/image13.png
0 → 100644
186 KiB
media/image2.png
0 → 100644
231 KiB
media/image3.png
0 → 100644
183 KiB
media/image4.png
0 → 100644
146 KiB
media/image5.png
0 → 100644
65.2 KiB
media/image6.png
0 → 100644
20.1 KiB
media/image7.png
0 → 100644
95.3 KiB
media/image8.png
0 → 100644
48.5 KiB
media/image9.png
0 → 100644
72.6 KiB