diff options
| -rw-r--r-- | config/list/examples.lst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/list/examples.lst b/config/list/examples.lst index e459043a8b..d568a7e494 100644 --- a/config/list/examples.lst +++ b/config/list/examples.lst @@ -18,4 +18,12 @@ sort1.scala sort2.scala typeinf.scala +pilib/elasticBuffer.scala +pilib/handover.scala +pilib/mobilePhoneProtocol.scala +pilib/rwlock.scala +pilib/scheduler.scala +pilib/semaphore.scala +pilib/twoPlaceBuffer.scala + ############################################################################## |