diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2014-02-19 16:58:50 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2014-02-19 16:58:50 -0500 |
commit | 64a2a3c951efce3b56e36770ad63cb017a1c36b6 (patch) | |
tree | 7140b21a87833241ede9b5b474b79fddea1c9db6 | |
parent | 0eb5e033934d7c87ed62ff860fb3e6bcd5c777b6 (diff) |
More reformatting...
-rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ | |||
1 | pgm | 1 | PGM^RT |
2 | === | 2 | ====== |
3 | 3 | ||
4 | A soft real-time implementation of the Processing Graph Method (PGM) on top of LITMUS^RT | 4 | A soft real-time implementation of the Processing Graph Method (PGM) on top of LITMUS^RT |
5 | 5 | ||