1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

Fix some style issues

This commit is contained in:
Stefan Ellmauthaler 2022-07-27 12:50:04 +02:00
parent d4465feea2
commit 2b86e745b2
Failed to extract signature
6 changed files with 6 additions and 6 deletions

View File

@ -142,4 +142,4 @@ and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.d
This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik) of [TU Dresden](https://tu-dresden.de).
# Disclaimer
Hosting content here does not establish any formal or legal relation to TU Dresden
Hosting content here does not establish any formal or legal relation to TU Dresden.

View File

@ -124,4 +124,4 @@ and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.d
This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik) of [TU Dresden](https://tu-dresden.de).
# Disclaimer
Hosting content here does not establish any formal or legal relation to TU Dresden
Hosting content here does not establish any formal or legal relation to TU Dresden.

View File

@ -119,4 +119,4 @@ and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.d
This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik) of [TU Dresden](https://tu-dresden.de).
# Disclaimer
Hosting content here does not establish any formal or legal relation to TU Dresden
Hosting content here does not establish any formal or legal relation to TU Dresden.

View File

@ -161,4 +161,4 @@ and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.d
This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik) of [TU Dresden](https://tu-dresden.de).
# Disclaimer
Hosting content here does not establish any formal or legal relation to TU Dresden
Hosting content here does not establish any formal or legal relation to TU Dresden.

View File

@ -51,4 +51,4 @@ and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.d
This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik) of [TU Dresden](https://tu-dresden.de).
# Disclaimer
Hosting content here does not establish any formal or legal relation to TU Dresden
Hosting content here does not establish any formal or legal relation to TU Dresden.

View File

@ -160,4 +160,4 @@ and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.d
This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik) of [TU Dresden](https://tu-dresden.de).
# Disclaimer
Hosting content here does not establish any formal or legal relation to TU Dresden
Hosting content here does not establish any formal or legal relation to TU Dresden.