Added newline to credit
This commit is contained in:
		@@ -14,5 +14,7 @@ Traditional access control mechanisms in operating systems allow the same level
 | 
			
		||||
* [Some identified issues](./docs/bc-thesis-problems.md)
 | 
			
		||||
* [Formal specification](./docs/bc-thesis-specs.md)
 | 
			
		||||
## Credit
 | 
			
		||||
 | 
			
		||||
*Student:* Fedir Kovalov
 | 
			
		||||
 | 
			
		||||
*Supervisor:* RNDr. Jaroslav Janáček, PhD.
 | 
			
		||||
 
 | 
			
		||||
		Reference in New Issue
	
	Block a user